[Haskell-cafe] ANN: operational-0.1.0.0

[Heinrich Apfelmus]

Brent Yorgey wrote:
> I am very pleased to announce that Issue 15 of The Monad.Reader is now
> available for your reading pleasure [1].
> 
> Issue 15 consists of the following four articles:
> 
>     * "The hp2any project" by Gergely Patai
>     * "Adventures in Three Monads" by Edward Z. Yang
>     * "The Operational Monad Tutorial" by Heinrich Apfelmus
>     * "Implementing STM in pure Haskell" by Andrew Coppin

I'm pleased to release a small package named  operational  in
conjunction with "The Operational Monad Tutorial".


The tutorial presents a method to implement monads by specifying the
primitive instructions and their operational semantics. The main
abstraction is a type  Programm  which corresponds to a list of
instructions. The  operational  package contains an efficient version of
the  Program  abstraction, ready for implementing your monads in
production code.

Furthermore, the  operational  package introduces a type  ProgramT  to
implement monad transformers; the lifting laws are satisfied automatically.

The library comes with example code and excessive documentation,
including a proof that the monad laws do indeed hold.

Get it from hackage:

   http://hackage.haskell.org/package/operational


Regards,
Heinrich Apfelmus

--
http://apfelmus.nfshost.com