Re[3]: Публикации?
От: AndreyFedotov Россия  
Дата: 30.08.04 10:10
Оценка:
Здравствуйте, INTP_mihoshi, Вы писали:

INT>Кстати, насчет безвозмездности, кто знает, насколько работа в изучении и развитии ФЯ прокатит как научная? В смысле публикаций и перспективы диссертации?


Не знаю как сейчас, а на факультете кибернетики МИФИ 2-3 года назад — такие темы были.
Re[5]: Форум ФЯ: инициативная группа
От: Курилка Россия http://kirya.narod.ru/
Дата: 30.08.04 13:26
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>Корректировки к плану приветствуются (включая изменение порядка пунктов). Желающие взятся за написание частей — тоже.


Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?
Re: Форум ФЯ: инициативная группа
От: Mikl Kurkov Россия  
Дата: 30.08.04 15:08
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>Предлагается организовать форум «функциональные языки».

Поддерживаю!

G>Члены инициативной группы должны быть знакомы хотя-бы с одним ФЯ,

Практического опыта применения ФП не имею (если не считать мелких задачек), но чувствую большой потенциал этого подхода.
В основном интересуюсь Erlang, какое-то время баловался Haskell и другими языками (в порядке общего ознакомления).
Последнее время меня все больше и больше занимает идея разработки КИС на Erlang. Немного настораживает отсутствие информации по подобным продуктам. Единственное известное мне решение реализовано в южно-африканском банке Teba Bank. Несколько слов об этом можно прочесть здесь. Еще проскакивала информация о какой-то OpenSourсe российской разработке (EAS кажется, точно не помню), но сейчас что-то ничего об этом не слышно.

G> Также они должны обладать некоторым количеством свободного времени.

С этим сложнее, но постараюсь содействовать по мере сил и возможностей.
Re[6]: Форум ФЯ: инициативная группа
От: Blazkowicz Россия  
Дата: 30.08.04 15:43
Оценка:
Здравствуйте, Курилка, Вы писали:


К>Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?


Задающие вопросы, дабы поддерживать активность на форуме.
Re[7]: Форум ФЯ: инициативная группа
От: Gaperton http://gaperton.livejournal.com
Дата: 30.08.04 16:02
Оценка:
Здравствуйте, Blazkowicz, Вы писали:

B>Здравствуйте, Курилка, Вы писали:



К>>Пока вроде бы особых идей по плану нет (за "взяться" пока не говорю, надо чуть подумать), народ вроде есть, план есть, что ещё нужно для успеха предприятия?


B>Задающие вопросы, дабы поддерживать активность на форуме.

И, для начала, желающие помочь мне с документом!
Re: Форум ФЯ: инициативная группа
От: uw  
Дата: 30.08.04 16:54
Оценка: 10 (1) +1
Здравствуйте, Gaperton, Вы писали:

G>Члены инициативной группы должны быть знакомы хотя-бы с одним ФЯ, поэтому я не поясняю, что такое ФЯ и зачем это нужно. Также они должны обладать некоторым количеством свободного времени. Запись добровольцев здесь. Просто отвечайте на этот пост.


Я бы записался, но я не согласен с идеей создания форума с названием "функциональные языки". "Функциональные языки" это все-таки слишком узкая тема в моем понимании. Т.е. офф-топиком для этого форума будет например Prolog, императивные скриптовые языки с элементами ФП, генеративное программирование и другие не менее интересные темы.

По смыслу больше подошло бы что-то типа "метапрограммирование".
Слово мета подходит как нельзя лучше, так как в качестве приставки обычно значит:
1. положение рядом или переход в иное качество
2. название наук и разделов, имеющих основополагающий характер

imho ФЯ языки интересны в первую очередь не моделью исполнения, а степенью абстракции. Языковые средства, такие как pattern-matching, term-rewriting — вот что действительно представляет серьезнейший интерес в плане применения в повседневном программировании, причем ни где-нибудь а в самых что обычных императивных языках. Первые наметки такого рода — Pizza, Kiev, Nemerle. Все это imho только начало. Я тут как-то успел покритиковать Степанова вместе со Страуструпом. Так вот — я был не совсем прав. Их вина только в том, что они не пошли дальше, оставив эти концепции в зачаточном состоянии.

Что касается авторских текстов, FAQ, ссылок итд по ФП, то это всегда пожалуйста, вопрос только в наличии свободного времени.

Самое лучшее решение — это не одна ветка форума, а целый раздел, в который можно было-бы перевести и философию программирования, и даже возможно этюды с алгоритмами. Так как имхо они не имеют непосредственного отношения к промышленному программированию, а лежат либо рядом, либо в основании в зависимости от того, что под этим подразумевать.

Что-то типа:
| Метапрограммирование
|- Алгоритмы
|- Логическое программирование
|- Разработка компиляторов
|- Философия программирования
|- Функциональные языки
|- Этюды для программистов
Re[2]: Форум ФЯ: инициативная группа
От: Gaperton http://gaperton.livejournal.com
Дата: 30.08.04 17:08
Оценка: +1
Здравствуйте, uw, Вы писали:

"Декларативное программирование" подойдет?

Вообще, основная проблема расширения темы в том, что ее, расширенную тему, сложнее осветить.

Замечу, что пока никто не изъявил желания помочь мне с написанием основополагающего документа.
Может, ты поможешь? Посмотри мой план, предложи изменения, а если согласишься написать часть — будет вообще здорово.
Re[5]: Форум ФЯ: инициативная группа
От: Gaperton http://gaperton.livejournal.com
Дата: 30.08.04 20:10
Оценка:
Здравствуйте, Цунцуяби, Вы писали:

Ц>Языки ФЯ не знаю, хотя ознакомился с ними ( бегло )


Ц>С математикой более — менее понятно

Ц>Могу поделать переводы статей, еще какую-нибудь общественную работу.
Это было бы здорово. Не мог бы ты перевести секцию №3 Technical topics?
http://www.cs.nott.ac.uk/~gmh//faq.html
Re: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:15
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>Предлагается организовать форум «функциональные языки».


Одного форума мало. Нужно вообще развивать эту тему. Нужны статьи, факи и т.п.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[4]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:17
Оценка:
Здравствуйте, Курилка, Вы писали:

К>3. проекты на ФЯ


Интересны были бы примеры программ.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[8]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:19
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>И, для начала, желающие помочь мне с документом!


Ты делай как получается. Если кто хочет помочь, то преперед! Потом пришлите на сабмит или мне, а мы уж доведем докуент до релизного вида.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[4]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:22
Оценка:
Здравствуйте, Курилка, Вы писали:

К>Угу, только для начала надо выделенное под это дело местечко, чтобы было куда складывать


Складывать нужно в ту самую вводную статью. В общем, пока можно постить хоть сюда, а потом подберем. Можно завести еще одну тему. Модеры сами куда нужно перекинут.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[3]: Публикации?
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:23
Оценка:
Здравствуйте, INTP_mihoshi, Вы писали:

INT>Кстати, насчет безвозмездности, кто знает, насколько работа в изучении и развитии ФЯ прокатит как научная? В смысле публикаций и перспективы диссертации?


Было бы что публиковать. А вообще тема интересная.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:25
Оценка:
Здравствуйте, Gaperton, Вы писали:

Ну, я как всегда... Любая хорошая авантюра — это по мне!!!

ЗЫ

В общем, помогу чем смогу. Очень рад что от слов вы переходите к делу. Так держать!
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[2]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:26
Оценка:
_>Могу предоставить пример реализации AVL дерева с комментариями.

В виде статьи оформить сможешь? Если да, то присылай на сабмит как только что-то вырисуется.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[2]: Форум ФЯ: инициативная группа
От: Gaperton http://gaperton.livejournal.com
Дата: 30.08.04 20:29
Оценка:
Здравствуйте, VladD2, Вы писали:

VD>Здравствуйте, Gaperton, Вы писали:


G>>Предлагается организовать форум «функциональные языки».

VD>Одного форума мало. Нужно вообще развивать эту тему. Нужны статьи, факи и т.п.
Не все сразу.

Для начала, я думаю, сделаем FAQ по ФЯ. Хороший, толковый ФАК.
Далее, соберем все имеющиеся русскоязычные материалы по ФЯ, статьи и переводы.
Составим составим каталог ссылок на англоязычные материалы.

После этого будем готовить обзоры/переводы наиболее интересных англоязычных статей, писать свои статьи, примеры программ, — что угодно. А если удастся заманить на форум спецов и гуру — это будет праздник.

А форум по ФЯ необходим хотя-бы для того, чтобы координировать всю эту активность.
Re[2]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:32
Оценка:
Здравствуйте, 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>|- Этюды для программистов


И опять отдельный форум есть.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[3]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:33
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>Замечу, что пока никто не изъявил желания помочь мне с написанием основополагающего документа.


С этим всегда трудно. Превые шаги самые трудные. Я тебе помогу когда основные идеи набросаешь.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[3]: Форум ФЯ: инициативная группа
От: VladD2 Российская Империя www.nemerle.org
Дата: 30.08.04 20:38
Оценка:
Здравствуйте, Gaperton, Вы писали:

G>Для начала, я думаю, сделаем FAQ по ФЯ. Хороший, толковый ФАК.


Для начала все же лучше вводную статью. А ФАК можно прямо ее чатью сделать.

G>Далее, соберем все имеющиеся русскоязычные материалы по ФЯ, статьи и переводы.

G>Составим составим каталог ссылок на англоязычные материалы.

Хорошая идея.

G>После этого будем готовить обзоры/переводы наиболее интересных англоязычных статей, писать свои статьи, примеры программ, — что угодно. А если удастся заманить на форум спецов и гуру — это будет праздник.


Дык как без этого? Ну, да заманим. Главное чтобы интересно было.

G>А форум по ФЯ необходим хотя-бы для того, чтобы координировать всю эту активность.


С этим проблем не будет. Группа не против. Народ на форумах вроде тоже. Но один форум без основополагающего документа не будет иметь того комулятивного эффектна который нужен для серьезной раскрутки. А на первых порах подобному проекту раскрутка очень нужна. А ФЯ она нужна вообще как воздух. Идея без умения ее толкнуть в массы мертва.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[4]: Форум ФЯ: инициативная группа
От: Gaperton http://gaperton.livejournal.com
Дата: 30.08.04 22:07
Оценка:
Здравствуйте, VladD2, Вы писали:

VD>Для начала все же лучше вводную статью. А ФАК можно прямо ее чатью сделать.

Ок, взгляни на первый набросок.
Немного переводов, немного отсебятины.
По поводу плана я писал здесь
Автор: Gaperton
Дата: 30.08.04
.
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.