История изменений
Исправление quasimoto, (текущая версия) :
Значит, ф-ция, возвращенная из замыкания — это не ф-ция, до тех пор, пока она не возвращена, так чтоли получается?
Замыкание это сама возвращаемая функция, а не возвращающая.
Вложенный лямбда-терм (не говорю «функция») представляющий замыкание использует переменные которые в нём не замкнуты, сам по себе он математическую (!) функцию не представляет и в хаскелях просто не сконпелируется вне контекста функции которая его возвращает. Ну а так функция возвращающая замыкание имеет сигнатуру типа A -> Endo(A), очевидно, что она может при вызове с неким (x : A) вернуть некую (\y -> E[x, y]) : Endo(A).
Где же тогда ФВП?
В экспоненциалах :)
Функция не может взять функцию как аргумент и возвратить ее же, в качестве значения?
Может, только тут нет замыканий.
Исходная версия quasimoto, :
Значит, ф-ция, возвращенная из замыкания — это не ф-ция, до тех пор, пока она не возвращена, так чтоли получается?
Замыкание это сама возвращаемая функция.
Вложенный лямбда-терм (не говорю «функция») представляющий замыкание использует переменные которые в нём не замкнуты, сам по себе он математическую (!) функцию не представляет и в хаскелях просто не сконпелируется вне контекста функции которая его возвращает. Ну а так функция возвращающая замыкание имеет сигнатуру типа A -> Endo(A), очевидно, что она может при вызове с неким (x : A) вернуть некую (\y -> E[x, y]) : Endo(A).
Где же тогда ФВП?
В экспоненциалах :)
Функция не может взять функцию как аргумент и возвратить ее же, в качестве значения?
Может, только тут нет замыканий.