VZ
Кроме случаев, когда это
. из Control.Category, а не $PreludeSize: a a a
2016 April 14
VZ
*а не
NK
Но если ты готов вносить новые переменные, то ты всегда можешь писать
\a -> f $ g a вместо f . gну вот опять можно использовать обеих
VZ
> если ты готов вносить новые переменные
VZ
Ты по факту тогда просто инлайнишь определение
.VZ
Понятное дело, что тебя никто не остановит.
NK
Кроме случаев, когда это
. из Control.Category, а не $ты хотел сказать что разделяет папки модулей?
VZ
Нет
VZ
Я хотел сказать, что
. из модуля Control.Category это метод классаVZ
Он может быть перегружен
VZ
. из Prelude работает только для ->V🇺
обратный пример, когда $ не заменить на .
map ($ x) [f, g, h] — [f x, g x, h x]
map ($ x) [f, g, h] — [f x, g x, h x]
VZ
foldr (.) id
VZ
Это просто разные функции, чего их заменять-то друг на друга?
VZ
Зато вот что неочевидно, так это то, что $ = id
VZ
Везде можно заменить его на id
V🇺
не равно, $ применим не для всех типов, для которых применим id
NK
foldr (.) id
как оно работает?
V🇺
зато (.id) и ($) - одно и то же
V🇺
если на приоритеты забить