Personal tools

Operational

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Changed category Monads to Monad)
(What is it?)
Line 1: Line 1:
 
== What is it? ==
 
== What is it? ==
   
''Operational'' is a small library for implementing custom monads.
+
The ''operational'' library makes it easy to implement monads with tricky control flow.
   
The idea is that you can easily implement any monad by specifying instructions and their desired operational semantics.
+
The idea is to identify a set of primitive instructions and to specify their operational semantics. Then, the library makes sure that the monad laws hold automatically. Ditto for monad transformers.
   
 
== Releases and Resources ==
 
== Releases and Resources ==

Revision as of 16:58, 18 June 2012

1 What is it?

The operational library makes it easy to implement monads with tricky control flow.

The idea is to identify a set of primitive instructions and to specify their operational semantics. Then, the library makes sure that the monad laws hold automatically. Ditto for monad transformers.

2 Releases and Resources