Основы функционального программирования/Вводная лекция: различия между версиями
Содержимое удалено Содержимое добавлено
Jinnuse (обсуждение | вклад) м ссылка с именем вывод типов ссылалась на приведение типов. теперь ссылается правильно. |
Jinnuse (обсуждение | вклад) м →Чистота: добавлена ссылка на Лисп-машину |
||
Строка 152:
В чистом функциональном программировании оператор присваивания отсутствует, объекты нельзя изменять и уничтожать, можно только создавать новые путём разбора и сбора существующих. О ненужных объектах позаботится встроенный в язык сборщик мусора. Благодаря этому в чистых функциональных языках все функции свободны от побочных эффектов. Однако это не мешает этим языкам имитировать некоторые полезные императивные свойства, такие как [[w:Обработка исключений|исключения]] и изменяемые [[w:Индексный массив|массивы]].
Каковы же преимущества чистых функциональных языков? Помимо упрощения анализа программ есть ещё одно — [[w:Параллельные вычислительные системы|параллелизм]]. Раз все функции для вычислений используют только свои параметры, мы можем вычислять независимые функции в произвольном порядке или параллельно, на результат вычислений это не повлияет. Причём параллелизм этот может быть организован не только на уровне компилятора языка, но и на уровне архитектуры. В нескольких научных лабораториях уже разработаны и используются экспериментальные компьютеры, основанные на подобных архитектурах. В качестве примера можно привести [http://ru.wikipedia.org/wiki/Lisp-машина Lisp-машину].
=== Отложенные вычисления ===
| |||