Поясните про замыкания в ФП?

Question

[Даниил Колесниченко]

Вот, например, код на Haskell:
add a b = a + b
Вроде всё нормально, функция чистейшая. Но ведь можно записать и по-другому, с блекджеком замыканием и лямбдами:
add = \a -> \b -> a + b
И вот тут уже кое-что становится непонятно. Вроде как обе функции должны быть чистыми (ведь "грязными", насколько я понял, в Haskell могут быть только функции типа IO() или что-нибудь подобное, здесь же -- самые обыкновенные функции). Но при этом лямбда \b -> a + b по идее не должна видеть переменную a. Но она видит. Значит она не чистая?

Можете, пожалуйста, объяснить, как замыкания сосуществуют с функциональной парадигмой?

Answer 1

[Александр Ручкин]

Чистая. Рассмотрим foo = add 2, foo x для некоторого x всегда возвращает одно и то же значение, а также не производит никакого эффекта, наблюдаемого извне, и потому подпадает под определение чистой функции. Т.е. foo = add 2 идентичен функции foo x = 2 + x, которая, очевидно, чистая.

Comments

[Александр Мелеховец]

Дополню насчёт "возвращает одно и то же значение".
За счёт немутабельности переменных результат выполнения полученной функции детерминирован.

y = 3
foo = add y
foo 1 # 4
y = 5 # так нельзя
foo 1 # 4

Если бы мы могли изменить значение y и замыкание хранило на него ссылку, то тогда да, функция не была бы чистой.

[Даниил Колесниченко]

Александр Ручкин, я имел ввиду, что лямбда внутри не чистая. Конечная-то функция да, чистая. Но после комментария Александр все окончательно встало на свои места. Спасибо!