В LYAHFGG we read:Была ли причина, по которой у Haskell были функции с одним аргументом, как lambda calculus?
Каждая функция в Haskell официально принимает только один параметр.
В этом описании Lambda Calculus we read:
Второе упрощение, что λ-исчисление использует только функции одного входа.
Мой вопрос: Была ли причина того, что у Haskell были функции с одним аргументом, чтобы быть как исчисление лямбда?
(Или это просто комбинированный акцент на простоте с выделки?)
Я думаю, что это более историческое влияние. Все (?) Другие ленивые функциональные языки в то время имели одни аргументные функции. – augustss
Одним из интересных эффектов этого выбора является то, как очень легко определить класс типов по типам функций, а также делает аппликативный рисунок несколько более элегантным. –