Nitro_JunkieMasterZiv,
Wikipedia
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании). Противопоставляется парадигме императивного программирования, которая описывает процесс вычислений как последовательность изменения состояний (в значении, подобном таковому в теории автоматов). Функциональное программирование не предполагает изменяемость данных (в отличие от императивного, где одной из базовых концепций является переменная) .
На практике отличие математической функции от понятия «функции» в императивном программировании заключается в том, что императивные функции взаимодействуют и изменяют уже определённые данные. Таким образом, в императивном программировании, при вызове одной и той же функции с одинаковыми параметрами можно получить разные данные на выходе, из-за влияния на функцию внешних факторов. А в функциональном языке при вызове функции с одними и теми же аргументами мы всегда получим одинаковый результат в обоих случаях, входные данные не могут измениться, выходные данные зависят только от них.


Первые 2 абзаца в википедии про функциональное программирование... Таким образом SQL более удовлетворяет определению функционального программирования чем тот же Haskell или тем более Lisp...

PS: Хотя счас конечно скажут, что википедия не аргумент, что у каждого свое определение ФП, и т.п. А когда каждый придумывает сам определения, разговаривать о чем бы то ни было бесполезно...

Сравнил а английским вариантом "определения" - переводящий похоже не в теме был.
Да и английский вариант - какая-то туфта.
Императивное программирование вроде по учебникам определяется как программирование через прямые команды компьютеру - как делать. А декларативное только заданием - что делать. То есть функция в императивном программировании - всего лишь сгруппированные команды, а функция в ФП - ближе к математической функции. Само собой контекст вычисления в ФП контролируется лучше. Об этом вроде в ангельском варианте.

И как уже отмечалось состояния есть. Собственно и КАМ (Категориальная абстрактная машина, в название языка OCAML - CAM - в честь КАМ, Haskell, SML, Moscow ML тоже с КАМ теор. связаны)
определяется на состояниях (по учебникам же). КАМ более программ. ориент. категориальная комбинАторная логика)
------------------------------------
Вопрос: насколько практически ценно создать создать виртуальную машина вроде JVM, NET, но специально под функциональные языки? Как в этом теоретически КАМ (более программ. ориент. категориальная комбинАторная логика) поможет?
Конечно КАМ в общем такая же абстракция как и машина Тьюринга, и частично-рекурсивные функции, ...