| Функциональное программирование |
Функциональное программирование всегда привлекало меня в противопоставлении к императивному.
Я очень часто обсуждаю различные аспекты функционального программирования на различных ветках на Базарной площади.
Но хотелось бы собрать всех заинтересованный этой темой в одной ветке.
Я думаю что настало время открыть такую тему. И вот почему.
Исторически функциональное программирование появилось практически вместе с императивным.
Вторым языком после фортрана был лисп.
Но увы, функциональное программирование надолго было уделом исследовательских институтов или специализированных приложений (Искусственный Интеллект)
Конечно не надо считать весь мир дураками из за того что развитие пошло по пути языков Алгол семейства.
Для этого были вполне обьективные причины. Функциональные языки слишком близки к человеку и слишком далеки от машины.
Они сьедают в десятки раз больше рессурсов чем императивные языки.
Вспомните претензии, предявляемые к java - первому императивному языку с виртуальной машиной и сборщиком мусора, толкаемому большими корпорациями в mainstream.
Жутко тормозит, и жрет всю память какая есть. А ведь функциональные языки (далее ФЯ) все без иключения имеют сборщик мусора, виртуальную машину.
Многие из них (семейство лисп) еще и динамические, что только усугубляет положение.
Вполне естественно что появившись более полусотни лет назад они надолго опередилли свое время.
Для широкого распространения ФЯ нужны гигабайты дешевой памяти и гигагерцы дешевых процессоров.
Прошло более 50 лет, прежде чем такие требования к железу стали реальностью.
Это время наступило. СЕЙЧАС.
Добро пожаловать в новую эру программирования.
Jack Of Shadows
Всего в теме 5502 сообщения
Добавить свое сообщение
Отслеживать это обсуждение 
- Средства разработки. Языки программирования.
- Delphi 4 or Delphi 5
- Что приобрести в качестве средства разработки?
- Delphi6
- Delphi vs PowerBuilder
- Сравнение компиляторов
- Вот и вышла Delphi 7... Вы рады?
| № 4202 27-03-2008 17:13 |   |
Ответ на »сообщение 4199« (Jack Of Shadows)
___________________________
Да, вот таких вот парней Пол Грэхем и боялся... :о)
| № 4201 27-03-2008 15:06 | |
| № 4200 27-03-2008 14:37 | |
Ответ на »сообщение 4199« (Jack Of Shadows)
___________________________
>>> Два ирландских пацана (тинейджеры!!) Написали на лиспе вот эту вот программу, и продали ее за 5 миллионов долларов.
Ой, а где говорится, что на лиспе? Я быстро пробежался, но что-то не заметил...
| № 4199 27-03-2008 13:33 | |
http://auctomatic.com/
Два ирландских пацана (тинейджеры!!) Написали на лиспе вот эту вот программу, и продали ее за 5 миллионов долларов.
А вы говорите "выбора нет" :))
| № 4198 27-03-2008 13:06 | |
Ответ на »сообщение 4194« (Lisp Hobbyist)
___________________________
К сожалению, это самый вероятный вариант развития событий, из которого, в частности, следует, что ФЯ так и останутся в своей нынешней академической (в основном) нише.
Почему к сожалению ? ФП никогда не выйдет за пределы 10-15% рынка, по вполне обьективным причинам. Это надо воспринимать нормально, без драматизьму.
А время сожалений уже прошло. 10% рынка это огого! Это означает что всем кому надо, могут свободно перейти на ФП. Причем на практически всех мейнстрим программных платформах.
На дотнет к услугам желающих F#, IronScheme.
На java: CAL (диалект хаскеля), куча лиспов, и новенький clojure
Сами лиспы уже обросли библиотеками достаточно чтобы их можно было применять в повседневной работе.
Я вот перешел на sbcl.
Хаскель растет как на дрожжах.
Erlang уже довольно широко известен.
Выбор есть, и его все легче и легче сделать.
| № 4197 27-03-2008 12:52 | |
Ответ на »сообщение 4195« (Мухтар )
___________________________
Нет ли хорошого инструмента для интерактивного программирования? В смысле в стиле вопрос-ответ?
Самый лучший язык для такого стиля программирования (Exploratory programming) это конечно же лисп. Smalltalk тоже обладает этим свойством, но он чистый ООП язык.
Варианты:
Common Lisp:
http://clisp.cons.org/ - open source, windows, linux
www.lispworks.com - free trial, windows, linux
www.franz.com - free trial, windows, linux
http://sbcl.sourceforge.net/ - open source, linux
Scheme:
http://www.plt-scheme.org/software/drscheme/ - open source, windows, linux
Ссылки на книги здесь уже много раз постились.
| № 4196 27-03-2008 05:33 | |
| № 4195 27-03-2008 04:53 | |
У меня вопрос к функциональщикам.
Нет ли хорошого инструмента для интерактивного программирования? В смысле в стиле вопрос-ответ?
| № 4194 27-03-2008 04:24 | |
Ответ на »сообщение 4193« (Jack Of Shadows)
___________________________
Обязательно будут. F# и хаскель это просто полигоны.
Конечный результат будет портирован на vb и сишарп, как например произошло с Linq.
Согласен. К сожалению, это самый вероятный вариант развития событий, из которого, в частности, следует, что ФЯ так и останутся в своей нынешней академической (в основном) нише. И так и придется любителям ФЯ писать жалобы наподобие:
>>>Я вот был злобный лиспоненавистник, с++ фил и жабоман. Но всетаки осилил почитать по Лиспу хорошие книги. И теперь я ненавижу жабу, с++ переношу с лугким сарказмом.
>>>И мне стало жить хуже. Я прихожу на работу и плачу. А потом силой заставляю себя работать. Не получая практически никакого удовольствия.
>>>Вот-так... :(
Написано не мной, но я с этим в целом согласен, не считая того, что я никогда не был Лисп-ненавистником, максимум --- не обращал на него внимания. :-)
Однако это не означает что императивщикам нахаляву достанется параллелизм.
Как не портируй механизм, а без обучения функциональному подходу не обойтись.
Кроме параллелизма в ФЯ есть немало других выгод (я бы даже сказал, что параллелизм --- не главное): простота семантики, достаточно развитые средства метавычислений (суперкомпиляция и пр.) и т.д. Все это в гибридных языках крайне затруднительно (а какой-нибудь Concurrent C# будет, скорее всего, именно таким ради обратной совместимости).
| № 4193 19-03-2008 15:29 | |
Ответ на »сообщение 4192« (Lisp Hobbyist)
___________________________
Несмотря на упоминание F#, скорее всего, параллелизм будут в первую очередь прикручивать к обычным императивным языкам.
Обязательно будут. F# и хаскель это просто полигоны.
Конечный результат будет портирован на vb и сишарп, как например произошло с Linq.
Однако это не означает что императивщикам нахаляву достанется параллелизм.
Как не портируй механизм, а без обучения функциональному подходу не обойтись.
Ведь сам механизм будет налагать определенные требования к коду.
То есть придется им с циклов переучиваться на автоматически распараллеливаемые map, filer, reduce итд.
Придется им изучать и применять STM.
Добавить свое сообщение
Отслеживать это обсуждение
| Дополнительная навигация: |
| 
