Hi Dan,<br><br><div class="gmail_quote">On Sat, Feb 7, 2009 at 12:00 PM, Dan Doel <span dir="ltr">&lt;<a href="mailto:dan.doel@gmail.com">dan.doel@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="Wj3C7c">On Saturday 07 February 2009 12:11:29 pm Gregg Reynolds wrote:<br>
<br>
</div></div>As far as I know, Moggi didn&#39;t really have anything directly to do with<br>
Haskell. He pioneered the idea of monads being useful in denotational<br>
semantics. But it was Wadler that recognized that they&#39;d be useful for<br>
actually writing functional programs (see his &quot;The Essence of Functional<br>
Programming&quot;). So one might say that it was his doing that brought monads to<br>
Haskell proper.<br>
<font color="#888888"></font></blockquote><div><br>From what I&#39;ve read Wadler was clearly the guy who thought of using monads in Haskell, but he explicitly credits Moggi for coming up with the general idea.&nbsp; Moggi just as clearly knew he was on to something powerful and useful (e.g. something &quot; that could lead to the introduction of higher order modules in programming languages like ADA or ML&quot;).&nbsp; What I would be interested in knowing is whether it was Wadler or Moggi who first realized monads (and CT) could be encoded directly in a target language, not just in a semantic metalanguage.&nbsp; Plus there were other people working in the same area; I just don&#39;t know the detailed history.&nbsp; Might be a good subject for a blog post for somebody who does.<br>
<br>FYI I made a few corrections to my original post.<br><br>-gregg<br></div></div><br>