Запитання з тегом «monoids»

Хто перший сказав таке? Монада - це просто моноїд у категорії ендофандерів, у чому проблема? І на менш важливу увагу, чи це правда, і якщо так, ви можете дати пояснення (сподіваємось, таке, яке може зрозуміти той, хто не має багато досвіду Haskell)?

722 haskell  monads  category-theory  monoids 

Стандартна бібліотека Haskell класів типів MonadPlus, Alternativeі Monoidкожен з них надає два методи з практично тією ж самою семантикою: Пусте значення: mzero, emptyабо mempty. Оператор , a -> a -> aякий з'єднує значення в класі типів разом: mplus, <|>або mappend. Усі три визначають ці закони, яких слід дотримуватися: mempty `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids