AP
Нет пруфов, если законы
Size: a a a
2018 March 16
к
в агдах так и делают
к
нужен пруф что закон соблюдается
к
закон это не аксиома
RS
Мы всё ещё об Эльме говорим?
AP
Нет, это Кана опять набрасывает
AP
Кана, иди про пруфы в агдочат затирать :)
к
да я тут при чем
RS
простите что прерываю, но всё-таки эта дискуссия была бы более уместна в каком-то чате про ФП в целом
к
моноиды - это тоже не элм тема
RS
Или давайте примеры на эльме)
AP
Моноиды в виде класса типов и пруфы для него - "не эльмотема"
AP
Но представители класса типов Моноид в этоме есть вполне себе. Например Cmd
RS
Простите
к
простите, чтобы добить уже тему
RS
Но представители класса типов Моноид в этоме есть вполне себе. Например Cmd
о, а вот на примере Cmd я бы послушал про свойства моноида.
AP
Кароч, Cmd и Sub - типы, входящие в класс моноидов и в класс функторов.
к
в агде это даже семерка, + эквивалентность
к