Функциональное программирование всегда привлекало меня в противопоставлении к императивному.
Я очень часто обсуждаю различные аспекты функционального программирования на различных ветках на Базарной площади.
Но хотелось бы собрать всех заинтересованный этой темой в одной ветке.
Я думаю что настало время открыть такую тему. И вот почему.
Исторически функциональное программирование появилось практически вместе с императивным.
Вторым языком после фортрана был лисп.
Но увы, функциональное программирование надолго было уделом исследовательских институтов или специализированных приложений (Искусственный Интеллект)
Конечно не надо считать весь мир дураками из за того что развитие пошло по пути языков Алгол семейства.
Для этого были вполне обьективные причины. Функциональные языки слишком близки к человеку и слишком далеки от машины.
Они сьедают в десятки раз больше рессурсов чем императивные языки.
Вспомните претензии, предявляемые к java - первому императивному языку с виртуальной машиной и сборщиком мусора, толкаемому большими корпорациями в mainstream.
Жутко тормозит, и жрет всю память какая есть. А ведь функциональные языки (далее ФЯ) все без иключения имеют сборщик мусора, виртуальную машину.
Многие из них (семейство лисп) еще и динамические, что только усугубляет положение.
Вполне естественно что появившись более полусотни лет назад они надолго опередилли свое время.
Для широкого распространения ФЯ нужны гигабайты дешевой памяти и гигагерцы дешевых процессоров.
Прошло более 50 лет, прежде чем такие требования к железу стали реальностью.
Это время наступило. СЕЙЧАС.
Добро пожаловать в новую эру программирования.
To Jack Of Shadows.
Ув. Jack Of Shadows! Скажите, пожалуйста, а что Вы думаете по поводу Prolog и Prolog-подобных языков и об их преимуществах (недостатках), по сравнению с функциональными языками (в частности, с горячо любимым Вами Lisp).
Дело в том, что я сейчас начинаю использовать Prolog в связке с .Net приложением и очень доволен его возможностями. На нем, действительно, очень легко решается определенный класс задач, которые довольно трудно решить с помощью императивных языков.
Что касается функциональных языков. Мне показалось (я изучал OCAML), что по своим возможностям они стоят между императивными языками и логическим программированием. Да, на них можно легко и наглядно реализовать рекурсивные алгоритмы. Но все эти алгоритмы я без проблем могу реализовать и на императивном языке. Учитывая развитость библиотек и интегрированных сред для императивных языков, не факт, что эта реализация будет сложнее, чем на функциональном языке. А что касается языка Prolog? Не буду рассусоливаться. Приведу пример всем известного теста Эйнштейна на сообразительность.
Условие:
Есть 5 домов каждый разного цвета.
В каждом доме живет по одному человеку отличной друг от друга национальности.
Каждый жилец пьет только один определенный напиток, курит определенную марку сигарет и держит определенное животное:
Никто из 5 человек не пьет одинаковые с другими напитки, не курит одинаковые сигареты и не держит одинаковое животное.
Дополнительные условия:
Англичанин живет в красном доме.
Швед держит собаку
Датчанин пьет чай
Зеленый дом стоит слева от белого и они стоят рядом.
Жилец зеленого дома пьет кофе
Человек, который курит Pall Mall, держит птицу
Жилец из среднего дома пьет молоко
Жилец из желтого дома курит Dunhill
Норвежец живет в первом доме
Курильщик Marlboro живет около того, кто держит кошку
Человек, который содержит лошадь, живет около того, кто курит Dunhill
Курильщик сигарет Winfield пьет пиво
Норвежец живет около голубого дома
Немец курит Rothmans
Курильщик Marlboro живет по соседству с человеком, который пьет воду
Вопрос: кому принадлежит рыба?
Задача на Prolog решается елементарно:
next_to(X, Y, List) :- iright(X, Y, List).
next_to(X, Y, List) :- iright(Y, X, List).
iright(L, R, [L | [R | _]]).
iright(L, R, [_ | Rest]) :- iright(L, R, Rest).
einstein(Houses, Fish_Owner) :-
=(Houses, [[house, norwegian, _, _, _, _], _, [house, _, _, _, milk, _], _, _]),
member([house, brit, _, _, _, red], Houses),
member([house, swede, dog, _, _, _], Houses),
member([house, dane, _, _, tea, _], Houses),
iright([house, _, _, _, _, green], [house, _, _, _, _, white], Houses),
member([house, _, _, _, coffee, green], Houses),
member([house, _, bird, pallmall, _, _], Houses),
member([house, _, _, dunhill, _, yellow], Houses),
next_to([house, _, _, dunhill, _, _], [house, _, horse, _, _, _], Houses),
member([house, _, _, _, milk, _], Houses),
next_to([house, _, _, marlboro, _, _], [house, _, cat, _, _, _], Houses),
next_to([house, _, _, marlboro, _, _], [house, _, _, _, water, _], Houses),
member([house, _, _, winfield, beer, _], Houses),
member([house, german, _, rothmans, _, _], Houses),
next_to([house, norwegian, _, _, _, _], [house, _, _, _, _, blue], Houses),
member([house, Fish_Owner, fish, _, _, _], Houses).
А теперь попробуйте написать это же на функциональном языке.