Функциональное программирование

1. Свойства функциональных языков

1.1. 1.краткость и простота

1.2. 2.строгая типизация

1.3. 3.модульность

1.4. 4.чистота

2. Понятие

2.1. Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).

3. Задачи

3.1. 1. Получение остаточной процедуры

3.2. 2. Построение математического описания функций

3.3. 3. Определение формальной семантики языка программирования

3.4. 4. Описание динамических структур данных

3.5. 5. Автоматическое построение «значительной» части программы по описанию структур данных, которые обрабатываются создаваемой программой

3.6. 6. Доказательство наличия некоторого свойства программы

3.7. 7. Эквивалентная трансформация программ

4. Языки

4.1. LISP

4.2. Erlang

4.3. APL

4.4. ML

4.5. F#

4.6. Scala

4.7. Miranda

4.8. Nemerle

4.9. Haskell