Функциоанльный язык программирования

Пользуйте поиск по форуму

haskell
Сойдёт?

неплохо бы еще русский подучить. и использовать поиск.

ocaml, scheme еще. но это не чисто функциональные.

ocaml тоже далеко не чисто функциональный, да и схема (но тут это уже имхо придирки)

http://en.wikipedia.org/wiki/List_of_functional_programming_topics#Languages

>да и схема (но тут это уже имхо придирки)

В схеме есть присваивание, значит уже не чисто функциональный.

Haskell, Ocaml, Clean, SML

groups.google.com is yоur friend (как и USENET вообще ;-)

Читай "Frequently Asked Questions for comp.lang.functional"
на http://www.cs.nott.ac.uk/~gmh/faq.html

HTH

Дело не в присваивании, а в наличии побочных эффектов у процедур. Присваивание лишь частный случай.

>Дело не в присваивании, а в наличии побочных эффектов у процедур. Присваивание лишь частный случай.

Значит, императивный язык может не иметь механизма изменения состояния переменных и считаться императивным только из-за того, что позволяет кроме значения ф-ции выполнить какое-либо другое осмысленное действие. Например, ф-ция возвращает какое-то значение и выводит на экран строку. Состояние системы не изменяется после вызова такой ф-ции, она делает одно и то же (при одинаковых параметрах) в независимости от места вызова. Я правильно понял?

ага, такая функция уже не будет обладать свойством referential trancparency два ее вызова нельзя заменить одним (т.к. побочные эффекты будут различаться). Поэтому ML и называют не чисто функциональным языком, в Haskell операции ввода/вывода загнаны в монаду IO, которая позволяет писать на Haskell программы в _императивном_ стиле. В "A Gentle Introduction to Haskell" Haskell называется лучшим императивным языком.

Состояние системы изменится, т.к. изменится состояние мира.