From: Jim Pryor Date: Sat, 4 Dec 2010 20:22:44 +0000 (-0500) Subject: links on do-notation to translation X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ab5ae55a1bb5424d13e85f89a6aa471a3ab3394b links on do-notation to translation Signed-off-by: Jim Pryor --- diff --git a/translating_between_OCaml_Scheme_and_Haskell.mdwn b/translating_between_OCaml_Scheme_and_Haskell.mdwn index 4a4287a1..63b32630 100644 --- a/translating_between_OCaml_Scheme_and_Haskell.mdwn +++ b/translating_between_OCaml_Scheme_and_Haskell.mdwn @@ -670,6 +670,11 @@ Haskell has more built-in support for monads, but one can define the monads one which can be translated straightforwardly into OCaml. + For more details, see: + + * [Haskell Wikibook on do-notation](http://en.wikibooks.org/wiki/Haskell/do_Notation) + * [Do-notation considered harmful](http://www.haskell.org/haskellwiki/Do_notation_considered_harmful) + * If you like the Haskell do-notation, there's [a library](http://www.cas.mcmaster.ca/~carette/pa_monad/) you can compile and install to let you use something similar in OCaml. * In order to do any printing, Haskell has to use a special `IO` monad. So programs will look like this: