Здравствуйте, INTP_mihoshi, Вы писали:
INT>Кстати, насчет безвозмездности, кто знает, насколько работа в изучении и развитии ФЯ прокатит как научная? В смысле публикаций и перспективы диссертации?
Не знаю как сейчас, а на факультете кибернетики МИФИ 2-3 года назад — такие темы были.
Здравствуйте, Gaperton, Вы писали:
G>Корректировки к плану приветствуются (включая изменение порядка пунктов). Желающие взятся за написание частей — тоже.
Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?
Здравствуйте, Gaperton, Вы писали:
G>Предлагается организовать форум «функциональные языки».
Поддерживаю!
G>Члены инициативной группы должны быть знакомы хотя-бы с одним ФЯ,
Практического опыта применения ФП не имею (если не считать мелких задачек), но чувствую большой потенциал этого подхода.
В основном интересуюсь Erlang, какое-то время баловался Haskell и другими языками (в порядке общего ознакомления).
Последнее время меня все больше и больше занимает идея разработки КИС на Erlang. Немного настораживает отсутствие информации по подобным продуктам. Единственное известное мне решение реализовано в южно-африканском банке Teba Bank. Несколько слов об этом можно прочесть здесь. Еще проскакивала информация о какой-то OpenSourсe российской разработке (EAS кажется, точно не помню), но сейчас что-то ничего об этом не слышно.
G> Также они должны обладать некоторым количеством свободного времени.
С этим сложнее, но постараюсь содействовать по мере сил и возможностей.
К>Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?
Задающие вопросы, дабы поддерживать активность на форуме.
Здравствуйте, Blazkowicz, Вы писали:
B>Здравствуйте, Курилка, Вы писали:
К>>Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?
B>Задающие вопросы, дабы поддерживать активность на форуме.
И, для начала, желающие помочь мне с документом!
Здравствуйте, Gaperton, Вы писали:
G>Члены инициативной группы должны быть знакомы хотя-бы с одним ФЯ, поэтому я не поясняю, что такое ФЯ и зачем это нужно. Также они должны обладать некоторым количеством свободного времени. Запись добровольцев здесь. Просто отвечайте на этот пост.
Я бы записался, но я не согласен с идеей создания форума с названием "функциональные языки". "Функциональные языки" это все-таки слишком узкая тема в моем понимании. Т.е. офф-топиком для этого форума будет например Prolog, императивные скриптовые языки с элементами ФП, генеративное программирование и другие не менее интересные темы.
По смыслу больше подошло бы что-то типа "метапрограммирование".
Слово мета подходит как нельзя лучше, так как в качестве приставки обычно значит:
1. положение рядом или переход в иное качество
2. название наук и разделов, имеющих основополагающий характер
imho ФЯ языки интересны в первую очередь не моделью исполнения, а степенью абстракции. Языковые средства, такие как pattern-matching, term-rewriting — вот что действительно представляет серьезнейший интерес в плане применения в повседневном программировании, причем ни где-нибудь а в самых что обычных императивных языках. Первые наметки такого рода — Pizza, Kiev, Nemerle. Все это imho только начало. Я тут как-то успел покритиковать Степанова вместе со Страуструпом. Так вот — я был не совсем прав. Их вина только в том, что они не пошли дальше, оставив эти концепции в зачаточном состоянии.
Что касается авторских текстов, FAQ, ссылок итд по ФП, то это всегда пожалуйста, вопрос только в наличии свободного времени.
Самое лучшее решение — это не одна ветка форума, а целый раздел, в который можно было-бы перевести и философию программирования, и даже возможно этюды с алгоритмами. Так как имхо они не имеют непосредственного отношения к промышленному программированию, а лежат либо рядом, либо в основании в зависимости от того, что под этим подразумевать.
Что-то типа:
| Метапрограммирование
|- Алгоритмы
|- Логическое программирование
|- Разработка компиляторов
|- Философия программирования
|- Функциональные языки
|- Этюды для программистов
Вообще, основная проблема расширения темы в том, что ее, расширенную тему, сложнее осветить.
Замечу, что пока никто не изъявил желания помочь мне с написанием основополагающего документа.
Может, ты поможешь? Посмотри мой план, предложи изменения, а если согласишься написать часть — будет вообще здорово.
Здравствуйте, Цунцуяби, Вы писали:
Ц>Языки ФЯ не знаю, хотя ознакомился с ними ( бегло )
Ц>С математикой более — менее понятно Ц>Могу поделать переводы статей, еще какую-нибудь общественную работу.
Это было бы здорово. Не мог бы ты перевести секцию №3 Technical topics? http://www.cs.nott.ac.uk/~gmh//faq.html
Здравствуйте, Курилка, Вы писали:
К>Угу, только для начала надо выделенное под это дело местечко, чтобы было куда складывать
Складывать нужно в ту самую вводную статью. В общем, пока можно постить хоть сюда, а потом подберем. Можно завести еще одну тему. Модеры сами куда нужно перекинут.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, INTP_mihoshi, Вы писали:
INT>Кстати, насчет безвозмездности, кто знает, насколько работа в изучении и развитии ФЯ прокатит как научная? В смысле публикаций и перспективы диссертации?
Было бы что публиковать. А вообще тема интересная.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, VladD2, Вы писали:
VD>Здравствуйте, Gaperton, Вы писали:
G>>Предлагается организовать форум «функциональные языки». VD>Одного форума мало. Нужно вообще развивать эту тему. Нужны статьи, факи и т.п.
Не все сразу.
Для начала, я думаю, сделаем FAQ по ФЯ. Хороший, толковый ФАК.
Далее, соберем все имеющиеся русскоязычные материалы по ФЯ, статьи и переводы.
Составим составим каталог ссылок на англоязычные материалы.
После этого будем готовить обзоры/переводы наиболее интересных англоязычных статей, писать свои статьи, примеры программ, — что угодно. А если удастся заманить на форум спецов и гуру — это будет праздник.
А форум по ФЯ необходим хотя-бы для того, чтобы координировать всю эту активность.
Здравствуйте, uw, Вы писали:
uw>Я бы записался, но я не согласен с идеей создания форума с названием "функциональные языки".
Предлагаю так: "Декларативные и функциональные и логические языки программирования". А?
uw>"Функциональные языки" это все-таки слишком узкая тема в моем понимании. Т.е. офф-топиком для этого форума будет например Prolog, императивные скриптовые языки с элементами ФП, генеративное программирование и другие не менее интересные темы.
Ну, и в правилах запишем, что приветсвуются все альтернативные ИЯ подходы.
uw>По смыслу больше подошло бы что-то типа "метапрограммирование". uw>Слово мета подходит как нельзя лучше, так как в качестве приставки обычно значит: uw>1. положение рядом или переход в иное качество uw>2. название наук и разделов, имеющих основополагающий характер
Да, метапрограммирование тоже из этой оперы. Но слишком обще тоже нельзя, так как иначе получится помойка.
uw>imho ФЯ языки интересны в первую очередь не моделью исполнения, а степенью абстракции. Языковые средства, такие как pattern-matching, term-rewriting
+1
uw>Что касается авторских текстов, FAQ, ссылок итд по ФП, то это всегда пожалуйста, вопрос только в наличии свободного времени.
Дык. Давай!
uw>Самое лучшее решение — это не одна ветка форума
Это никудышное решение. Через очень короткий промежуток времени она превратится в уродлевое дерево и только отдельные орлы смогут дочитать ее до конца.
uw>Что-то типа: uw>| Метапрограммирование
+1
uw>|- Алгоритмы
Алгоритмы то тут причем? Для них у нас уже есть и разделы и форумы.
uw>|- Логическое программирование
+1
uw>|- Разработка компиляторов
Тоже несколько другой вопрос.
uw>|- Философия программирования
Опять же есть отдельный форум.
uw>|- Функциональные языки
+1
uw>|- Этюды для программистов
И опять отдельный форум есть.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Gaperton, Вы писали:
G>Для начала, я думаю, сделаем FAQ по ФЯ. Хороший, толковый ФАК.
Для начала все же лучше вводную статью. А ФАК можно прямо ее чатью сделать.
G>Далее, соберем все имеющиеся русскоязычные материалы по ФЯ, статьи и переводы. G>Составим составим каталог ссылок на англоязычные материалы.
Хорошая идея.
G>После этого будем готовить обзоры/переводы наиболее интересных англоязычных статей, писать свои статьи, примеры программ, — что угодно. А если удастся заманить на форум спецов и гуру — это будет праздник.
Дык как без этого? Ну, да заманим. Главное чтобы интересно было.
G>А форум по ФЯ необходим хотя-бы для того, чтобы координировать всю эту активность.
С этим проблем не будет. Группа не против. Народ на форумах вроде тоже. Но один форум без основополагающего документа не будет иметь того комулятивного эффектна который нужен для серьезной раскрутки. А на первых порах подобному проекту раскрутка очень нужна. А ФЯ она нужна вообще как воздух. Идея без умения ее толкнуть в массы мертва.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, VladD2, Вы писали:
VD>Для начала все же лучше вводную статью. А ФАК можно прямо ее чатью сделать.
Ок, взгляни на первый набросок.
Немного переводов, немного отсебятины.
По поводу плана я писал здесь