A divertimento on MonadPlus and nondeterminism

Tarmo Uustalu

Institute of Cybernetics

Thursday, 14 May 2015, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: In the Haskell developers community there is a controversy about the "right" axioms for the MonadPlus class or additive monads. I will discuss some additive(-like) classes of monads as types for computations for different flavors of finitary nondeterminism, looking also especially at the corresponding classes of Lawvere theories. Several of these are exotic and amusing too.

Tarmo Uustalu
Last update 12 May 2015