Size: a a a

Elm Lang сообщество разработчиков

2018 February 21

к

кана in Elm Lang сообщество разработчиков
Anton Kotenko
Некоторые вещи не нужно упрощать, я знаю определение Моноида, но пока что не хочу о нём думать при написании кода
окей, не думай при написании, абстракции еще используют чтобы с другими людьми было проще общаться, про что я и говорю

"Вместо того, что писать длинные предложения про Cmd.none и Cmd.batch можно сказать:
Cmd - моноид по Cmd.none и Cmd.batch"
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Ну давай спросим у тех здесь, кто не изучал теоркат, станет ли им проще?
источник

к

кана in Elm Lang сообщество разработчиков
собственно одной из целей паттернов ООП тоже является возможность парой слов передать смысл такого-то класса/наборов классов, а не показывать всю схему
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Так-то и список моноид и таска
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Можно просто в доках писать «моноид вот такой» и «моноид чуть другой»
источник

к

кана in Elm Lang сообщество разработчиков
список - не просто моноид, это свободный моноид, который принимает любой тип и делает из него моноид)
Таска моноид не образует же, только если ее ok-результат - моноид
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Надо тоньше интерес насаждать
источник

к

кана in Elm Lang сообщество разработчиков
Anton Kotenko
Можно просто в доках писать «моноид вот такой» и «моноид чуть другой»
ну так-то упоминание этого в доке могло мы сэкономить некоторое время, ведь это бы дало гарантии в ассоциативности операции
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Человек такой моноид, что навязанные сторонние эффекты плохо воспринимает, их сначала в монаду нужную надо обернуть
источник

at

andrei tshurotshkin! 🎄 in Elm Lang сообщество разработчиков
кана
ух, там не книга про моноиды, определнию моноидов там даны как раз меньше пяти минут
а на что больше всего времени?
источник

к

кана in Elm Lang сообщество разработчиков
на все остальное
источник

к

кана in Elm Lang сообщество разработчиков
)
источник

at

andrei tshurotshkin! 🎄 in Elm Lang сообщество разработчиков
)))
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
То есть аккуратно подавать, а не с видом очкастой алгебраички
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Книжку там написать красивую
источник

к

кана in Elm Lang сообщество разработчиков
в первой части по моему произведения и копроищведения дольше всего расписывали, с факторизацией, примерами "не универсальных" произведений и так далее, страшная глава
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Сколько функторов там полегло?
источник

к

кана in Elm Lang сообщество разработчиков
как минимум два, константный и эндо
они еще красивый конус (коконус для копроизведения) образуют
я понял, что это шутка, но раз задан вопрос...
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Просто если уж оперируешь моноидами, то не хочется просто слово заимствовать, хочется чтобы оно было элементом языка и хочется тогда уж все базовые вещи теорката понимать
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
А код не пишется
источник