ZK
Это прямо связанные вещи
Size: a a a
2017 October 26
NK
каким образом?
ZK
В интернете есть много материалов, вряд ли я лучше расскажу
ZK
Это база
NK
че
NK
я конечно понимаю что хоф позволяет реализовать карриинг
NK
но не влияет никак
AP
каррирование, это модель вычисления. Не единственная
AP
HOF не коррелируют с "каррированием-по-умолчанию", которое присуще ML-семейству
ZK
Опыт показывает, что каррированные по-дефолту функции лучше, чем не каррированные
AP
В ФП - лучше, не спорю
AP
И более того, это тупо удобно.
AP
Но это не признак нормальности лямбд
AP
Нормальные лямбды, это просто синтаксически удобное создание анонимных функций с нормальным замыканием окружения
AP
В питоне только синтаксис плох, в некоторых других языках синтаксис ок, но скоуп не замыкается
ZK
В хаскелле по сути все функции - это лямбды, поэтому достигается элегантность и единообразие
AP
В кложурке лямбды нормальные за счёт сахара, хоть там и нет каррирования по умолчанию
AP
Нормальные ФП языки по идее восходят(спускаются) к лямбда-исчислению, а там только функции одного аргумента. Поэтому пристойно сразу вводить эту особенность, чтобы программист не пугался :)
ZK
f x = x + 1 - это то же самое, что и f = \x -> x + 1В других языках лямбды как что-то отдельное сделали, и получилось криво
AP
Ну в лиспах
(defun f (x) ..) это то же самое, что (define f (Lambda (x) ...)) :) Ибо лямбдаисчисление, все дела