Monads in functional programming
GPTKB entity
Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concept
|
| gptkbp:describedBy |
gptkb:Notions_of_Computation_and_Monads
|
| gptkbp:enables |
abstraction of computation patterns
composition of computations |
| gptkbp:example |
gptkb:Either_monad
gptkb:IO_monad gptkb:Maybe_monad gptkb:State_monad List monad |
| gptkbp:field |
functional programming
|
| gptkbp:hasComponent |
gptkb:military_unit
return join bind |
| https://www.w3.org/2000/01/rdf-schema#label |
Monads in functional programming
|
| gptkbp:introduced |
gptkb:Eugenio_Moggi
|
| gptkbp:introducedIn |
1991
|
| gptkbp:originatedIn |
gptkb:category_theory
|
| gptkbp:property |
associativity
left identity right identity |
| gptkbp:purpose |
handle side effects
manage IO manage exceptions manage state structure computations |
| gptkbp:relatedTo |
gptkb:Functor
gptkb:applicative_functor |
| gptkbp:usedIn |
gptkb:F#
gptkb:Haskell gptkb:Scala |
| gptkbp:bfsParent |
gptkb:Phil_Wadler
|
| gptkbp:bfsLayer |
7
|