В чем отличие карринга (currying) от замыкания (closure)

Сравнил жопу с пальцем.

Ну ты и задал вопрос в 3 часа ночи...

В принципе вопрос взаимосвязан, но есть нюанс. Карринг - это когда ты можешь задать функции от n переменных k входных значений (k < n) и получить ф-цию n-k переменых. Замыкания - это когда ты в конкретном контексте, задаешь некое значение некой переменной (или ченго угодно, ф-ции объекта итд) оно существует при выходе из контекста. Дебильнийший пример - статические переменные.

Интересно, как же ты спутал приём рассмотрения функции многих
переменных как композиции одноаргументных функций и функции,
захватывающие свой лексический контекст.

>> захватывающие свой лексический контекст.

в том числе и динамический :)))

> приём рассмотрения функции многих переменных как композиции одноаргументных функций

ну блин, так бы сразу и сказали...
кстати. а практическое применение у этой штуки есть? ну кроме как оптимизации кода.

Для тех, кто не понял автора, попытаюсь объяснить.

Пусть создаётся замыкание, имеющее тип a -> b -> c и захватывающее переменные x1 и x2. Если в языке программирования запрещены присваивания (или первое выполнение кода замыкания произойдёт тогда, когда x1 и x2 выйдут из области видимости), то замыкание можно представить себе как каррированую функцию имеющую тип x1 -> x2 -> a -> b -> c.

При таком взгляде на ситуацию отличие каррирования от замыканий заключается в том, что если разрешены присваивания, то замыкание может захватить изменяемую переменную и изменять её значение (каррированием такого добиться нельзя, разве что передавать ссылку как аргумент -- но это уже совсем другое).

>кстати. а практическое применение у этой штуки есть? ну кроме как оптимизации кода.

Если уметь делать карринг не путем создания замыкания, а путем частичного применения, то некоторые задачи решаются проще.

Например, есть функция интерпретатора: eval(program,environment)=>result. Если ее каррировать по первому аргументу, то получим: compiled_program(environment)=>result.

Т.е., компиляция - это каррирование функции интерпретации. Аналогичный подход возможен и в некоторых других задачах.

> а практическое применение у этой штуки есть?

сплошь и рядом. у меня в js ajax на этом работает.

Карринг -- сделать так, чтобы вместо функции, принимающей несколько параметров, случилась функция, принимающая один параметр и возвращающая функцию, принимающую второй параметр, возвращающую функцию, принимающую третий...

Замыкание -- (ну, моими словами, не знаю, корректно-ли будет?) привязка некоей переменной одной области видимости (потроха функции) к переменной, находящейся в области видимости над (или под) ней.

Как-то так, поправьте, если не прав.

Давай про проекции Футамуры еще потрындим.

В том что две разные вещи