AP
Cmd.none - нейтральный элемент для Cmd. Обособленной операции для двух Cmd нет - она спрятана в Cmd.batchSize: a a a
2018 March 16
AP
Это реализация "интерфейса" моноида. Реализация функтора, это
Cmd.map очевидноRS
Ну то есть если говорить очень просто, то моноид - это сущность, у которой есть условный 0 и операции, комбинирующие сущности в одну того же типа?
AP
"Операция для комбинирования двух значения в одно" + "Некое значение, которое не влияет на сумму, будучи добавлено к оной"
AP
Cmd.batch [Cmd.none, c]
== Cmd.batch [c]
== Cmd.batch [c, Cmd.none]
AP
Это первый закон моноида
AP
Второй:
Cmd.batch
[ a
, Cmd.batch [b, c]
]
== Cmd.batch
[ Cmd.batch [a, b]
, c
]
RS
с этой точки зрения например List тоже является моноидом? [] – нейтральный элемент, конкатенация списков - операция комбинирования, и [a, b] ++ [c] == [a] ++ [b,c]
RS
круто, становится яснее)
RS
может завести репу где через примеры на эльме объяснять фп термины для несведущих?
MK
такое есть для JS у фрисби
AP
Для JS есть, да. Но надо для Elm
RS
такое есть для JS у фрисби
а можно ссылку? чтобы если что по аналогии пойти
AP
fantasy-land, небось, имеется в виду
MK
ну да, плюс у drboolean есть https://egghead.io/courses/professor-frisby-introduces-composable-functional-javascript и книга https://mostly-adequate.gitbooks.io/mostly-adequate-guide/
AP
Аналог на Эльме лишним не будет :)
к
может быть это и есть тот путь для понимания, зачем же тайпклассы
AP
Тайпклассы, это ad hoc полиморфизм. Они не для "понимания"