Функциональное программирование |
Функциональное программирование всегда привлекало меня в противопоставлении к императивному.
Я очень часто обсуждаю различные аспекты функционального программирования на различных ветках на Базарной площади.
Но хотелось бы собрать всех заинтересованный этой темой в одной ветке.
Я думаю что настало время открыть такую тему. И вот почему.
Исторически функциональное программирование появилось практически вместе с императивным.
Вторым языком после фортрана был лисп.
Но увы, функциональное программирование надолго было уделом исследовательских институтов или специализированных приложений (Искусственный Интеллект)
Конечно не надо считать весь мир дураками из за того что развитие пошло по пути языков Алгол семейства.
Для этого были вполне обьективные причины. Функциональные языки слишком близки к человеку и слишком далеки от машины.
Они сьедают в десятки раз больше рессурсов чем императивные языки.
Вспомните претензии, предявляемые к java - первому императивному языку с виртуальной машиной и сборщиком мусора, толкаемому большими корпорациями в mainstream.
Жутко тормозит, и жрет всю память какая есть. А ведь функциональные языки (далее ФЯ) все без иключения имеют сборщик мусора, виртуальную машину.
Многие из них (семейство лисп) еще и динамические, что только усугубляет положение.
Вполне естественно что появившись более полусотни лет назад они надолго опередилли свое время.
Для широкого распространения ФЯ нужны гигабайты дешевой памяти и гигагерцы дешевых процессоров.
Прошло более 50 лет, прежде чем такие требования к железу стали реальностью.
Это время наступило. СЕЙЧАС.
Добро пожаловать в новую эру программирования.
Jack Of Shadows
Всего в теме 5502 сообщения
Добавить свое сообщение
Отслеживать это обсуждение
- Средства разработки. Языки программирования.
- Delphi 4 or Delphi 5
- Что приобрести в качестве средства разработки?
- Delphi6
- Delphi vs PowerBuilder
- Сравнение компиляторов
- Вот и вышла Delphi 7... Вы рады?
№ 3292 06-10-2007 17:47 | |
Ответ на »сообщение 3287« (Jack Of Shadows)
___________________________
Что является императивом, вам уже многократно говорили. Это изменеие состояния. Дальнейшее ваше "непонимание" уже иначе как тролизм воспринимать не получается.
Если Вы обратили внимание, то распараллеливаться могут арифметические выражения, в которых участвуют переменные в понимании ИЯ, то бишь read/write ячейки памяти, в которых изменяется состояние.
№ 3291 06-10-2007 17:45 | |
№ 3290 06-10-2007 17:44 | |
Ответ на »сообщение 3288« (Сергей Перовский)
___________________________
Императивом является ПОСЛЕДОВАТЕЛЬНОСТЬ операторов.
Замечательно. Именно такого ответа и ожидал. Является ли последовательность операторов жестким синхроном?
№ 3289 06-10-2007 17:42 | |
Ответ на »сообщение 3286« (Руслан Богатырев)
___________________________
Кстати, Вам никогда не встречались работы по распараллеливанию операторов внутри цикла? Мне нужно для Вас поискать ссылку?
Нужно нужно, поищите. Может в конце концов убедитесь что распараллеливать цикл можно только тот в котором НЕТ многократного присваивания, то есть императивного программирования.
№ 3288 06-10-2007 17:37 | |
Ответ на »сообщение 3286« (Руслан Богатырев)
___________________________
Верно ли я понял, что арифметические выражения в императивном языке являются декларативом?
Верно!
В каком порядке будут вычисляться скобки в выражении (a+b)*(c+d) нам безразлично.
Что же в нем является императивом? :)
Императивом является ПОСЛЕДОВАТЕЛЬНОСТЬ операторов.
№ 3287 06-10-2007 17:37 | |
Ответ на »сообщение 3286« (Руслан Богатырев)
___________________________
Верно ли я понял, что арифметические выражения в императивном языке являются декларативом? Что же в нем является императивом? :)
Верно ли я понял что вы уже просто паясничаете Руслан ?
Что является императивом, вам уже многократно говорили. Это изменеие состояния. Дальнейшее ваше "непонимание" уже иначе как тролизм воспринимать не получается.
Квинтэссенцию императивного программирования можно полностью, кратко и емко выразить одним идиотским выражением:
X := X + 1;
Распечатайте эту строчку в большой транспарант и повесьте ее у себя над кроватью. Будете медитировать.
В этой строчке безо всяких дополнительных и ненужных обьяснений видна вся суть и все недостатки императивного программирования.
ВО первых сразу же видно что переменная X многокоратно изменяется. Это видно из того что перед присваиванием в Х какого то зачения, в Х уже какое то значение до этого было. Именно оно считывается в правой части выражения.
Далее, эта строчка показывает принципиальную последовательную сущность императивного программирования и как следствие нвозможность его распараллелить (иначе нарушаются причинно-следственные связи.)
Видно что перед тем как записать новое выражение в X, старое выражение должно быть с него считано. Распараллелить эту операцию невозможно в принципе.
№ 3286 06-10-2007 17:24 | |
Ответ на »сообщение 3285« (Jack Of Shadows)
___________________________
Верно ли я понял, что арифметические выражения в императивном языке являются декларативом? Что же в нем является императивом? :)
Кстати, Вам никогда не встречались работы по распараллеливанию операторов внутри цикла? Мне нужно для Вас поискать ссылку?
№ 3285 06-10-2007 17:10 | |
Ответ на »сообщение 3284« (Руслан Богатырев)
___________________________
http://psipv.appmat.ru/content/education/labs/Lab01.aspx
И что сие должно означать ?
По приведенной вами ссылке речь идет о распараллеливании...ФУНКИЦОНАЛЬНЫХ арифметических выражений :)))))
приведено дерево вычислений для арифметического выражения Е=(х+(а*((b/c)*d)))-(y-z).
Предупреждал же вас - не торопитесь прыгать :))
№ 3284 06-10-2007 16:46 | |
№ 3283 06-10-2007 16:34 | |
Ответ на »сообщение 3280« (Руслан Богатырев)
___________________________
Распараллеливать автоматически можно и императив.
Чего то за полстолетия императивного программирования, так ничего практичного на эту тему не появилось.
Хотя функциональное программирование уже дало практичные механизмы автоматического распараллеливания, используемы в индустрии: MapReduce.
И за всего лишь несколько лет "расцвета" железа, рожденный этим бурный рост исследования в ФП, привел к тому что уже сейчас вовсю идет работа над Nested Data Parallelism в хаскеле.
То есть практический инструмент автоматического распараллеливания для каждодневной работы миллионов работяг-программистов.
Ну а насчет того что там "можно", увы, несмотря на то что Машина Тьюринга в теории может все что угодно. На практике это разбивается о весьма скромные человеческие возможности.
Так что я был бы поосторожнее с высказываниями о том чего там можно или нельзя в императиве. Многие до вас старались. Результат - пшик.
Добавить свое сообщение
Отслеживать это обсуждение
Дополнительная навигация: |
|