SP
если вы обьясните как аргумент попадает сюда
(on x (&&) (not . isSpace x))
это могло бы быть меньшим цирком )
(on x (&&) (not . isSpace x))
это могло бы быть меньшим цирком )
Size: a a a
2021 December 13
[
on :: (a -> a -> c) -> (a -> b) -> (b -> b -> c)
AP
on принимает функцию для двух аргументов и геттер
AP
Применяет эту функцию к результатам применения геттера к каждому из двух входных аргументов
AP
Обычно используется для сортировки или той же группировки
AP
Типа
sortBy ((<) `on` fst)AP
"Отсортировать по убыванию по первым элементам (пар)"
AP
(on (&&) (not . isSpace)) x yAP
вот так аргументы попадают
AP
not (isSpace x) && not (isSpace y)
вот это получаетсяAP
тут скорее groupBy странный в Data.List, ибо группирует с помощью теста для двух аргументов :)
SP
это понял. да. сильно. пример помог
((+)
((+)
on f) x y = f x + f ySP
ладно. извините. я просто показал что это все для новичка не читается так как вы описали и есть проблемы с пониманием где композиция а где аргумент, и что кому отдается в плане типов
AP
Композируются функции одного аргумента. Передаётся он последним в то, что накомпозили.
AP
В примере выше даже не
(f .) . g, где посложнее аргументы проследить, а обычная простая композицияSP
да, и если промахнуться с арностью функций можно извратить смысл полностью
AP
Для этого можно писать типы — для подстраховки. В REPL обычно функции простые и собираются из кусочков, здесь же, в REPL оттестированных.
SP
я так кажется пытался реализовать тайпкласс не для типа а для функции на типе, и он даже прошел тайпчек
AP
Я ещё раз повторяю, как где-то выше писал: новичёк спросит, если ему интересно. И ему ответят. И выше того примера были несколько более простых.
SP
ладно ладно сори за наброс