Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией K — это моноид в моноидальной категории эндофункторов End(K).
yannnцитує9 років тому
addPrefix . encodeAllSpaces . makeItLowerCase $ url Точка объединяет функции, а доллар привязывает их к аргументу. Всё, теперь вы знаете о функциональных цепочках.
yannnцитує9 років тому
Функция композиции (function composition) выглядит как точка. Её назначение — компоновать функции в цепочку. Вот так: (addPrefix . encodeAllSpaces . makeItLowerCase) url