Функциональное программирование |
Функциональное программирование всегда привлекало меня в противопоставлении к императивному.
Я очень часто обсуждаю различные аспекты функционального программирования на различных ветках на Базарной площади.
Но хотелось бы собрать всех заинтересованный этой темой в одной ветке.
Я думаю что настало время открыть такую тему. И вот почему.
Исторически функциональное программирование появилось практически вместе с императивным.
Вторым языком после фортрана был лисп.
Но увы, функциональное программирование надолго было уделом исследовательских институтов или специализированных приложений (Искусственный Интеллект)
Конечно не надо считать весь мир дураками из за того что развитие пошло по пути языков Алгол семейства.
Для этого были вполне обьективные причины. Функциональные языки слишком близки к человеку и слишком далеки от машины.
Они сьедают в десятки раз больше рессурсов чем императивные языки.
Вспомните претензии, предявляемые к java - первому императивному языку с виртуальной машиной и сборщиком мусора, толкаемому большими корпорациями в mainstream.
Жутко тормозит, и жрет всю память какая есть. А ведь функциональные языки (далее ФЯ) все без иключения имеют сборщик мусора, виртуальную машину.
Многие из них (семейство лисп) еще и динамические, что только усугубляет положение.
Вполне естественно что появившись более полусотни лет назад они надолго опередилли свое время.
Для широкого распространения ФЯ нужны гигабайты дешевой памяти и гигагерцы дешевых процессоров.
Прошло более 50 лет, прежде чем такие требования к железу стали реальностью.
Это время наступило. СЕЙЧАС.
Добро пожаловать в новую эру программирования.
Jack Of Shadows
Всего в теме 5502 сообщения
Добавить свое сообщение
Отслеживать это обсуждение
- Средства разработки. Языки программирования.
- Delphi 4 or Delphi 5
- Что приобрести в качестве средства разработки?
- Delphi6
- Delphi vs PowerBuilder
- Сравнение компиляторов
- Вот и вышла Delphi 7... Вы рады?
№ 1082 01-09-2006 05:14 | |
Ответ на »сообщение 1081« (Max Belugin)
___________________________
>>>как работать с базами данных чисто функциональным способом.
А в чем тут проблема? За реляционными базами стоит строгий математический аппарат реляционной алгебры. Результатом любой операции над таблицами является таблица - функциональный стиль тут сам просится. А то, что SQL синтаксически не очень похож на функциональные языки, это сути не меняет.
№ 1081 01-09-2006 02:39 | |
Предлагаю тему: как работать с базами данных чисто функциональным способом.
№ 1080 01-09-2006 02:35 | |
в принципе еще удобнее было бы если б был просто синтаксис для анонимной функции с 1 аргументом. например
employee.where{.age>30 && .weight>30}.each{ .addBonus(30) }
№ 1079 01-09-2006 02:32 | |
Ответ на »сообщение 1078« (Jack Of Shadows)
___________________________
В смолтоке closure это блок кода, который есть объект - просто другой взгляд. Мне кажется в качестве эталона ООП стоит брать его.
Кстати, мне не нравятся list comprehensions по той простой причине, что они вносят в язык дополнительную сложность, которую можно получить комбинацией простых средств: ФВП и кложуров.
Особенно мне не понравилось, что Гвидо хочет из питона убрать ФВП типа map чтоб вместо них были list comprehensions
Мне вобщем больше нравится подход смолтока/руби (правда пользуюсь щас питоном - у него поддержка больше).
еше мне приятен ооп синтаксис, когда пишешь аргумент.функция - я считаю что
x.where{|y| y >3).map{|y| y*y}
более читабельным чем
map({|y| y*y}, where(|y| y >3, xs ))
№ 1078 01-09-2006 02:01 | |
Ответ на »сообщение 1077« (Max Belugin)
___________________________
При том что данная техника требует closures и list comprehensions.
List comprehensions a csharp нет. А вместо closures дико неуклюжий механизм анонимных классов.
То есть как я уже и говорил, внедрять ФП в язык по чайной ложечке ничего хорошего не приносит.
Надо сразу весь комплекс свойств вводить.
Иначе получается франкенштейн какой то, из нестыкующихся друг с другом кусков.
№ 1077 01-09-2006 01:49 | |
Ответ на »сообщение 1076« (Max Belugin)
___________________________
mylist.map{|foo| foo.description}.select{|x| x!= ""}.join("\n")
№ 1076 01-09-2006 01:47 | |
Ответ на »сообщение 1075« (Jack Of Shadows)
___________________________
При чем тут ООП
Ruby:
mylist.select.map.join("\n")
№ 1075 31-08-2006 18:15 | |
К вопросу об отношении появления функциональных фозможностей в сишарп.
Интересный блог, рассказывающий о том как знакомство с Python и Haskell плохо влияет на программиста, который вынужден после этого писать на сишарп.
http://lukeplant.me.uk/blog.php?id=1107301645
Бедняга пытается выполнять чассо встречающиеся операции на сишарп в функциональном стиле, так как он это делал бы на python или haskell.
Одна и та же задача.
Результат:
Python:
"\n".join(foo.description() for foo in mylist
if foo.description() != "")
Haskell:
concat $ List.intersperse "\n" $ filter (/= "") $ map description mylist
Сишарп:
string.Join("\n", mylist.ConvertAll<string>(
delegate(Foo foo)
).FindAll(
delegate(string x)
).ToArray());
Вывод. Писать в функциональном стиле на сишарп - извращение. Легче то же самое написать просто при помощи цикла.
Вот вам и ответ что дает смешивание воды и масла, ООП и ФП.
Ничего кроме огорчений не дает.
№ 1074 31-08-2006 16:00 | |
Ответ на »сообщение 1072« (Geniepro)
___________________________
Nemerle разрабатывается группой польских студентов из какого то польского института.
По виду еще один диалект ML типа F# или OCAML.
Хотя они там макросы умудрились прикрутить. Синтаксис макросов правда жуткий. Оно и немудрено. Попробуй поманипулируй со сложным синтаксисом. Это тебе не простенькие лисповые списки обрабатывать.
Короче как еще один представитель растущего семейства ФЯ на dotnet - радует.
Но я все таки предпочитаю языки с хорошей литературой. Lisp, Ocaml.
Надеюсь к этому списку скоро присоединится F#, если по нему станут издавать хорошие книги.
№ 1073 31-08-2006 14:18 | |
Ответ на »сообщение 1070« (Артем)
___________________________
Ответ на »сообщение 1068« (hugi)
___________________________
А все-таки, неплохо было бы написать на Delphi пример для сложения чисел произвольной длины ;)
Не переводятся любители изобретать велосипеды...
Арифметика чмсел произвольной длины была реализована еще на древних машинах серии МИР, в языке АНАЛИТИК.
Программа Maple ( http://www.maplesoft.com) реализует арифметику произвольной разрядности на С++.
Переписать алгоритм на Делфи - задача для школьника из кружка информатики...
Добавить свое сообщение
Отслеживать это обсуждение
Дополнительная навигация: |
|