AK
оч прикольно сделано
type Monoid a =
{ empty : a
, append : a -> a -> a
}
(<>) : Monoid a -> a -> a -> a
Size: a a a
2018 March 16
AP
Да не, я про это
AP
Тут смысла от инфиксного оператоа нет уже, т.к. словарик первый аргумент занял
AP
Можно сделать через алиасинг, конечно:
maybeStringMonoid : Monoid (Maybe String)
let
(z, (<>)) = withMonoid maybeMonoid
in z <> Just "foo" <> Just "bar" <>z
AK
А если через alias
AK
AP
Надо подумать. Может быть в определённых контекстах вполне себе неплохо может зайти
AK
AK
Вот тут про моноиды очень гладко
AP
Про моноиды как раз информации полно
at
А про койонеды?
Вл
Вл
койонеды в пхп
AP
биткойонеды
AK
Про моноиды как раз информации полно
она обычно слишком насыщена терминами и разглагольствованиями, а тут чувак как для дебилов всё понятно рассказал и на примерах хороших
AP
Да какие там термины? :) "Ассоциативность" да сам "Моноид"
AP
И вообще бояться терминологии странно. Термины есть в любой специальной области знаний
AP
Паттерны проектирования в ООП мире учат же. Вот и тут то же самое :)
PF
Реализация интерфейса - неотделимая от реализации класса черта ООП с классами. Т.е. реализация интерфейсов всегда исходит от автора класса.
Класс типов же, это описание набора свойств, которыми может обладать некий тип, даже если автор типа и не думал о своём детище в танном разрезе.
Класс типов же, это описание набора свойств, которыми может обладать некий тип, даже если автор типа и не думал о своём детище в танном разрезе.
очень плохо что не оделимая. Надо чтобы было независимо, как в Го. И класы типов то же самое - лень их писать, хочется чтобы как в D и С++ - написал тип, подставил в шаблон и забыл