AP
Частичное применение возможно, каррирование - нет
Size: a a a
2017 October 26
AP
Но каррирование, это модель вычисления, подчеркну. Каррирующие по умолчанию языки так выполняют код - по одному аргументу за раз.
AP
А частичное применение есть и в питоне том же
partial(map, abs)ZK
С другой стороны каррирование - это функция из (a, b) -> c делающая a -> b -> c
ZK
то есть это HOF
ZK
curry :: ((a, b) -> c) -> (a -> b -> c)
ZK
curry - функция высшего порядка
AP
Конечно нет. В Haskell не используется curry в коде ядра. Это просто хелпер
AP
curry - ФВП, конечно
AP
Но частичное применения != частичное применение по месту вызова. Это просто "паттерн". Поэтому частично применить функцию, завернув в новую, которая подставит нужные параметры, можно и в C - технически. Но польза будет сомнительна :)
AP
К тому же частичное применение ничего не делает с арностью - т.е. не меняет суть функции, не делает оную каррированой
AP
Каррирование - более фундаментальная штука. И чтобы каррирование не мешало работе, нужен синтаксис соответствующий. У ML-языков неспроса нет скобок вокруг аргументов - именно для того, чтобы каррированные функции было не слишком больно использовать
ZK
Кароч, в Хаскелле, Elm, PureScript это всё элегантно, в Java, Python, JS - нет
AP
Каррирование увеличивает удобство пользования ФВП. И без него гораздо грустнее. Но совсем без ФВП - совсем печально
ZK
Ещё паттерн матчинг можно упомянуть, он тоже в Хаскелле очень хорошо вписывается в картину
AP
Частичное применение с достаточной синтаксической поддержкой тоже помогает ФВП даже в некаррирующих языках. Кложа с тамошним
#(% * 2) вполне живет и без каррировани - там другие пробелемы, но хоть ФВП нормально можно пользоватьZK
А вот пример того, как испоганили язык
ZK
Какая-то каша получилась, Scala-way
AP
Pattern Matching очень удобен, но только в языках с ADT, т.к. только в них можно проверить exhaustiveness. В языках без ADT толку от сопоставления с образцом мало
AP
Reason потому уже и не ReasonML - ML не осталось