Здравствуйте, FR, Вы писали:

FR>>>Unlambda же карринг в полный рост,
EP>>Да, внутри реализаций комбинаторов, и что?
FR>Ну если есть каринг

Это всего лишь унарная функция возвращающая другую такую же унарную функцию.

FR>и замыкания лямбда не больше чем сахар в общем-то.

Нет там замыканий, там вообще нет ни параметров, ни переменных в явном виде — нет free variables, замыкаться не на что.
Это комбинаторы в чистом виде — point free style.