From b3fcd749ac69521ca598d3846043bb7aff1ac290 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sat, 4 Dec 2010 15:23:06 -0500 Subject: [PATCH] links re monads Signed-off-by: Jim Pryor --- week7.mdwn | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/week7.mdwn b/week7.mdwn index 961b024a..8fb3a3cb 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -313,7 +313,7 @@ singing box (the end result of evaluting `u`) and bind the variable `x`". (Note that the above "do" notation comes from Haskell. We're mentioning it here -because you're likely to see it when reading about monads. It won't work in +because you're likely to see it when reading about monads. (See our page on [[Translating between OCaml Scheme and Haskell]].) It won't work in OCaml. In fact, the `<-` symbol already means something different in OCaml, having to do with mutable record fields. We'll be discussing mutation someday soon.) @@ -458,7 +458,14 @@ arguments of a monoid operation) the two arguments of the bind are of different types. But it's possible to make the connection between monads and monoids much closer. This is discussed in [Monads in Category Theory](/advanced_topics/monads_in_category_theory). -See also . + +See also: + +* [Haskell Wikibook on Monad Laws](http://www.haskell.org/haskellwiki/Monad_Laws). +* [Haskell Wikibook on Understanding Monads](http://en.wikibooks.org/wiki/Haskell/Understanding_monads) +* [Haskell Wikibook on Advanced Monads](http://en.wikibooks.org/wiki/Haskell/Advanced_monads) +* [Haskell Wikibook on do-notation](http://en.wikibooks.org/wiki/Haskell/do_Notation) + Here are some papers that introduced monads into functional programming: -- 2.11.0