<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jun 17, 2010, at 10:47 AM, <a href="mailto:caseyh@istar.ca">caseyh@istar.ca</a> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; ">The functional-object style seems to be gaining momentum.<br>Is there any way to convert monads into objects, so that beginners have an easier time with the syntax and thus we can attract more people to the language?</span></blockquote></div><br><div>I think you're a little bit confused about monads. &nbsp;When you define a monad instance, all you are doing is defining the syntax that lets you chain properly typed computations together. &nbsp;(&gt;&gt;=) does almost exactly what (-&gt;) does in object oriented Perl, and what (.) does in Ruby and Java. &nbsp;</div><div><br></div><div>Consider something like:</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">1.plus(10).minus(5).square.log</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">return 1 &gt;&gt;= return . (+10) &gt;&gt;= return . (-5) &gt;&gt;= return . square &gt;&gt;= return . log</span></font></div><div><br></div><div>They both bind the "return value" of a computation (or chain of computations) to the next function in the chain. &nbsp;return kind of does the opposite. &nbsp;It takes a value that can be "in" the monadic action/object and gives/returns a monadic action/object that contains it.&nbsp;</div><div><br></div><div>So what are the differences between the two examples? &nbsp;First, and most obvious, Haskell's is a bit more verbose, because it explicitly uses return to set the right context, whereas the ruby/python/whatever version does it implicitly. &nbsp;On the other hand, if we can abstract the (return .) function away, with liftM:</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">return 1 &gt;&gt;= liftM (+10) &gt;&gt;= liftM (-5) &gt;&gt;= liftM square &gt;&gt;= liftM log</span></font></div><div><br></div><div>Indeed, if we really really want, we can define "methods" for the monadic action, just to make it look like Python/Ruby. &nbsp;(Actually, this is probably the preferred way to build up complex computations, though it is kind of silly to do for the arithmetic operators)</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">plusM :: (Monad m, Num n) =&gt; n -&gt; m n</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">plusM n = liftM (+n)</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">...</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">squareM :: (Monad m, Num n) =&gt; n -&gt; m n</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">squareM = liftM (^2)</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;"><br></span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">logM :: (Monad m, Num n) =&gt; n -&gt; m n &nbsp;&nbsp;</span></font><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">-- for exposition, I am assuming log is a part of the Num typeclass. &nbsp;</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">logM = liftM (log)</span></font><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">                       </span></font></span><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">--&nbsp;I guess it's really in Rational</span></font></div><div><font class="Apple-style-span" face="Courier"><br></font></div><div>Suddenly, we have something that looks a LOT like the object oriented version:</div><div><br></div><div><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px;"><font class="Apple-style-span" face="Courier">return 1 &gt;&gt;= plusM 10 &gt;&gt;= minusM 5 &gt;&gt;= squareM &gt;&gt;= logM</font></span></font></div><div><br></div><div>In fact, this is (almost) exactly like how Perl defines its object methods. &nbsp;The first argument of any function/procedure is assumed to be the object on which the method acts, and the dereferencing operator (-&gt;) "knows" to bind the last returned value to the first free variable. &nbsp;The difference is that Perl objects "know" to which class they belong, so they can resolve compile time ambiguity at runtime (if the program is properly typed, which Perl can't validate at "compile time"...). &nbsp;Since 1 is a literal in Perl, we would have to make a Number class and instantiate a Number object to get this to run:</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">Package Number;</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">sub new { my $class = shift; my $self = shift;&nbsp;</span></font><span class="Apple-style-span" style="border-collapse: collapse; white-space: pre; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; "><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">bless $self, $class; return $self; </span></font><span class="Apple-style-span" style="border-collapse: separate; white-space: normal; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; "><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">}&nbsp;</span></font></span></span></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">sub plus arg { return $self + arg; }</span></font></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">sub minus arg { return $self - arg }</span></font></div><div><font class="Apple-style-span" face="Courier">...</font></div><div><br></div><div>so that the computation we have been comparing turns out as:</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">(new Number 1) -&gt; plus 10 -&gt; minus 5 -&gt; square -&gt; log;</span></font></div><div><br></div><div>Indeed, we are "stuck" in the number class, and (in principle) can't get out without a properly typed function. &nbsp; (It's also kind of interesting that the constructor method literally includes the snippet "return $self", which is almost equivalent to return 1, when you bind 1 to (new Number). &nbsp;That is, the Number constructor takes a "regular" value and turns it into a Number, just as return takes a value and wraps it in a monadic type. &nbsp;</div><div><br></div><div>The difference is that 1 isn't "blessed" into the Number class if you just do</div><div><br></div><div><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">return 1 -&gt; plus 10 -&gt; minus 5 -&gt; square -&gt; log</span></font></div><div><br></div><div>in Perl, so the dereferencing operator (-&gt;) will fail. &nbsp;You need the "bless $self, $class" machinery that the constructor runs. &nbsp;In comparison, Haskell's return operator polymorphically "blesses" into any monadic type, in virtue of its type signature <font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px;">return :: (Monad m) =&gt; a -&gt; m a<span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">), so that the bind operator (&gt;&gt;=) will never fail.</span></span></font></div><div><font class="Apple-style-span" face="Courier"><br></font></div><div>The thing that makes object orientation special isn't the syntax. &nbsp;It's the relationship objects and classes have to one another -- and how classes relate to each other. &nbsp;Depending on your perspective, there is a unique largest or smallest class to which an object belongs. &nbsp;That relationship is a monadic adjunction. &nbsp;So, in particular, you can make a type-unsafe object system in Haskell by relating a "class" (for example: a named list of methods) to a type or value. &nbsp;If you want type safety, you need to use type arithmetic to implement this monadic adjunction at compile time. &nbsp;Somebody else mentioned OO Haskell.</div><div><br></div><div>Finally, if you want to put this all very abstractly, but in nice common language, an object and its corresponding monadic action are both "servers". &nbsp;Bind, dereferencing, etc are the interfaces that can make a request from "ANY" server. &nbsp;So the State Monad is a server that serves/changes the current state. &nbsp;The list monad is the server that serves up each element of a list, in turn, etc. &nbsp;Erlang ran with this idea for their "distributed functional object system".</div></body></html>