MasterZiv,

В данном случае я рассматриваю язык SQL с точки зрения того, что INSERT, UPDATE, DELETE - задают условия задачи - выполняются друг за другом в определенные моменты во времени - изменяет текущее состояние системы - императивны, SELECT - вычисляет функцию - иррелевантны ко времени - обладают атрибутами чистой функции - декларативны... Конечно я знаю что в INSERT, UPDATE, DELETE можно использовать семантику SELECT, но для чистоты терминологии мы их расматриваем опять таки раздельно как вычисление функций, и в зависимости от результатов изменение системы...

То что LISP - не функциональный язык я в курсе... И SQL не чисто функциональный... Потому как чисто функционального языка быть не может, я же писал... Вопрос в степени функциональности и именно в порядке убывания ее я расставил "языки" в предыдущем посте...

MasterZiv,

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


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

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

mayton,

Угу, также можно сказать что Assembler - это всего-лишь протокол взаимодействия процессора и разработчика, а язык Java - протокол взаимодействия виртуальной машины и операционной системы...

Предлагаю их тоже исключить из дискуссии и посмотрим что останется...

ЗЫ: Попробуйте рассмотреть СУБД как очень высокоуровневую виртуальную машину типа JVM и все станет на свои места...

mayton,

Вы имеете в виду HTML и XML? Это не языки вычислений, поэтому сравнивать их с SQL, Haskell, и т.п. не корректно. А вот скажем XSLT как язык преобразований вполне можно... Другой вопрос конечно применимости, на SQL симплекс-метод реализовать можно, но запрос будет диким, с другой стороны в business solutions SQL более применим чем императивные языки.

mayton,

Java - тогда тоже прослойка между клиентом и виртуальной машиной. Не ставьте телегу впереди лошади... Первичен всегда язык\парадигма, а то что его выполняет JVM, процессор, СУБД это уже технические особенности.

ЗЫ: Хм... Интересно что означает последняя буковка в слове SQL... Уже начал сомневаться

mayton,

Так спорить не о чем... Как я уже писал, вопрос определений... Если у тебя черное это белое, то доказать обратное невозможно :)