[<<][meta][>>][..]
Mon Sep 21 12:00:04 CEST 2009

Monads in OCaml

The package is used in [2].  Rationale: for MetaOCaml style typed
staging, effects are problematic.  I know of two solutions for this:
keeping everything pure using monads, and using delimited control to
avoid scope problems[3].


[1] http://www.cas.mcmaster.ca/~carette/pa_monad/index.html
[2] http://www.cas.mcmaster.ca/~carette/publications/scp_metamonads.pdf
[3] http://okmij.org/ftp/Computation/staging/circle-shift.pdf




[Reply][About]
[<<][meta][>>][..]