<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
For me, the following two things did the magic, so I'll suggest them:<br>
<br>
1.<br>
Writing a recursive function that takes a binary tree and returns the
same tree, but with its leaves enumerated. Each function call takes the
tree and the counter and returns the resulting tree and the new counter
value. The pattern that emerges is similar to the state monad. The
pattern shows that the order of the recursive calls is not ambiguous,
unlike in a function that just counts the leaves, for example. Changing
the order of the recursive calls changes the result.<br>
(code below)<br>
<br>
2. <br>
Putting the above pattern into a datatype and rewriting the
apply-funtion for this datatype (&gt;&gt;=) allows only to apply
funtions in a non-ambiguous way. Not giving a deconstructor for the IO
monad forces the programmer to
decide in which order calls to IO functions have to be done.<br>
<br>
I hope this is clear enough; I was able to use the IO monad at the
moment I realized that Haskell uses this kind of "trick" to ensure that
the order of execution of function arguments is always well-defined and
never ambiguous. Of course, there is much more about monads, but this
was my entry point.<br>
<br>
Best regards<br>
Daniel<br>
<br>
<br>
code (tree enumeration):<br>
<br>
data Tree a = Leaf a | Node (Tree a) (Tree a) deriving Show<br>
<br>
enumTree n (Node a b) =<br>
&nbsp;let (n', a')&nbsp; = enumTree n a in<br>
&nbsp;let (n'', b') = enumTree n' b in <br>
&nbsp;(n'', Node a' b')<br>
<br>
enumTree n (Leaf x) = (n+1, Leaf n)<br>
<br>
<br>
<br>
<br>
<br>
aditya siram schrieb:
<blockquote
 cite="mid:AANLkTinHYkQgVveCuTEJvuXxkQo8yaRwEqrwRR5v6hW1@mail.gmail.com"
 type="cite">Hi all,<br>
I am doing an "Intro To Monads" talk in September [1]. The audience
consists of experienced non-Haskell developers but they will be
familiar with basic functional concepts (closures, first-class
functions etc.). <br>
  <br>
I am looking for suggestions on how to introduce the concept and its
implications. I'd also like to include a section on why monads exist
and why we don't really see them outside of Haskell.<br>
  <br>
Has anyone here done a talk like this? And if so what parts of your
presentation were successful and what would you stay away from.<br>
  <br>
Thanks for the feedback.<br>
-deech<br>
  <br>
[1] It's in St.Louis, Missouri at the <a moz-do-not-send="true"
 href="http://St.Louis%20Perl%20Mongers%20meeting">St.Louis Perl
Mongers meeting</a> so come on by if you're around!<br>
  <pre wrap="">
<hr size="4" width="90%">
_______________________________________________
Haskell-Cafe mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
  </pre>
</blockquote>
</body>
</html>