<!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">
Donald Bruce Stewart wrote:
<blockquote cite="mid:20070417005556.GE21043@cse.unsw.EDU.AU"
type="cite">
<pre wrap="">david:
</pre>
<blockquote type="cite">
<pre wrap=""> Ah... so the secret is in the hidden variables. On some
level I am beginning to fear that Monads resurrect some of
the scariest aspects of method overriding from my OO
programming days. Do you (all) ever find that the ever
changing nature of >>= makes code hard to read?
</pre>
</blockquote>
<pre wrap=""><!---->
You always know which monad you're in though, since its in the type.
And the scary monads aren't terribly common anyway.
</pre>
</blockquote>
<br>
Also, the monad laws impose a level of sanity that most OO frameworks
do not, right?<br>
<br>
</body>
</html>