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