Просто если уж оперируешь моноидами, то не хочется просто слово заимствовать, хочется чтобы оно было элементом языка и хочется тогда уж все базовые вещи теорката понимать
Чтобы ещё больше людей перестало понимать суть сказанного 😂
Просто если уж оперируешь моноидами, то не хочется просто слово заимствовать, хочется чтобы оно было элементом языка и хочется тогда уж все базовые вещи теорката понимать
вот поэтому в элм так хочется тайпклассы, это же кучу вещей можно упростить тот же batch для команд выведется автоматически из
batch : Monoid m => [m] -> m batch = foldr append empty
это не талант, "убрать абстракцию, чтобы любой, даже не знающий определения абстракции, смог понять, но при этом придется писать больше кода и одинаковых определений" - довольно старый и известный подход, много где применяется
это не талант, "убрать абстракцию, чтобы любой, даже не знающий определения абстракции, смог понять, но при этом придется писать больше кода и одинаковых определений" - довольно старый и известный подход, много где применяется
Короче программирование на Эльме не про абстракции
лол. Программирование всегда про абстракции. Ибо управление сложностью. Что Elm, что Go сделаны так, что уровень абстракции прибит гвоздями. В Elm в силу узкой области применения это начинает жать позже, чем в Go, но ненамного.
Паттерны ООП тоже про управление сложнстью и абстракцию. И они решают поставленные перед ними задачи. В ФП тоже есть паттерны, но нормальные, с теоретическим обоснованием. И не использовать их в больших проектах - странно