Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией K — это моноид в моноидальной категории эндофункторов End(K).
yannnmembuat kutipan10 tahun yang lalu
addPrefix . encodeAllSpaces . makeItLowerCase $ url Точка объединяет функции, а доллар привязывает их к аргументу. Всё, теперь вы знаете о функциональных цепочках.
yannnmembuat kutipan10 tahun yang lalu
Функция композиции (function composition) выглядит как точка. Её назначение — компоновать функции в цепочку. Вот так: (addPrefix . encodeAllSpaces . makeItLowerCase) url
yannnmembuat kutipan10 tahun yang lalu
Для простоты мы можем ввести пояснительное выражение для нашей функции: main = print (f 5) where f = \x -> x * x
yannnmembuat kutipan10 tahun yang lalu
Функциональное программирование является одним из воплощений декларативного подхода.
yannnmembuat kutipan10 tahun yang lalu
(от английского declarative, описание), при котором программа представляет собой набор описаний того, что же она должна в итоге сделать.