> -- TAU писал(а):
> ... декларативное - неким формальным образом описывает необходимый результат, т.е. "что" (в этой связи я бы не стал функциональное программирование относить к декларативному, вот Пролог - другое дело, просто формулируется вопрос, ответ на который хочется получить).
Функциональное программирование давно уже слишком сильно переплелось с декларативным, так что отделять ФП от ДП не стоит, наверное. В конце концов, ФП -- это не только Лисп, но и Хаскелл, ML-семейство, Erlang, даже Рефал, и в них есть ярковыраженная декларативная составляющая -- pattern matching...

И кстати, это ваше определение очень хорошо описывает эти ФЯ -- именно что функция представляет собой описание результата при тех или иных параметрах функции...