Тут я призываю на помощь arseniiv
А в моей-то трактовке (с константами) всё и так хорошо.
Вообще, тут лямбда-исчисление ни при чём, ведь оно не устанавливает, писать скобки вокруг аргументов или не писать. Кстати, если понимать применение-без-скобок как в хаскеле (и, наверно, многих других языках), где это можно считать операцией с высшим приоритетом — потому карринг и удобно применять получается; тогда

соответствует

. Только сейчас ощутил, что не знаю никаких примеров опускания скобок в

, так что, может, так и стоит понимать.
-- Пт июн 05, 2015 20:14:16 --Похоже, придётся выделять эту дискуссию отдельно.
