Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951445 | Journal of Logical and Algebraic Methods in Programming | 2016 | 9 Pages |
Abstract
In the Haskell community, there is a controversy about what the laws of the MonadPlus type constructor class ought to be. We suggest that there is no single universal correct answer, however there is a universal method. Important classes of notions of finitary nondeterminism are captured by what we call monads of semigroups and monads of monoids, but also by monads of different specializations of semigroups and monoids. Some of these specializations of monads are exotic and amusing too.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Tarmo Uustalu,