I just started reading <a href="http://www.cwi.nl/%7Eralf/OOHaskell/" class="l" onmousedown="return rwt(this,&#39;&#39;,&#39;&#39;,&#39;res&#39;,&#39;1&#39;,&#39;__CzlET5UXikchEGv6jwReAhPCmzQ=&#39;,&#39;&amp;sig2=38KmVI0i449NSVsfTYFKnA&#39;)">
&quot;Haskell&#39;s overlooked object system&quot;. </a><br>The survey of existing object encodings looks like a good place to start, although for several, where Either is used as a union type there are some rather obvious scaling problems. &lt;g&gt;
<br><br>If I&#39;ve understood it, the OOHaskell library is meant to be a way of exploring OO in Haskell. Is it something that should be used by someone who wants to implement an OO design today? Or is it more for someone interested in research into the best way of doing OO in a functional context?
<br><br>I agree that there are a number of thorny OO issues, particularly that there really isn&#39;t a single OO model, rather a number of related models, practices and principles that are all lumped into the context of OO. Not to mention the tension between a model that revolves around mutable state against a system built on referential transparency.
<br><br> Mostly, I&#39;d like to see better answers to questions like &#39;how do I do this&#39; than here&#39;s something that will let you build something that lets you do that. I tend towards the engineering / reduction to practice side of things. Much as I like theory. And even if the answer is, there isn&#39;t really a best answer, but here are two or three reasonably good ways that won&#39;t cause too much trouble, and here&#39;s the kind of trouble they are likely to cause. 
<br><br><br><div><span class="gmail_quote">On 2/26/07, <b class="gmail_sendername"><a href="mailto:oleg@pobox.com">oleg@pobox.com</a></b> &lt;<a href="mailto:oleg@pobox.com">oleg@pobox.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>Steve Downey wrote:<br>&gt; In the last OO design in Haskell thread (and probably in every one<br>&gt; preceeding it), it was suggested that having some examples might be a good<br>&gt; idea.<br>&gt;<br>&gt; Since most people with existing designs will have some familiarity with
<br>&gt; Design Patterns, and those are typical building blocks for OO designs, it<br>&gt; occured to me that implementing some of them might be a useful<br>&gt; excersize.<br><br>Have you looked at OOHaskell?<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<a href="http://homepages.cwi.nl/~ralf/OOHaskell/">http://homepages.cwi.nl/~ralf/OOHaskell/</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<a href="http://darcs.haskell.org/OOHaskell/">http://darcs.haskell.org/OOHaskell/</a><br><br>With the exception of pure-functional objects and binary methods, I
<br>think we have considered almost every OO pattern/idiom we could find,<br>including nominal/structural subtyping, co- and contra-variance,<br>self-typing, etc. The DARCS repository contains the complete code for<br>all of the examples and patterns. To clarify, the point of OOHaskell
<br>is to use Haskell as a tool, laboratory bench, for exploring various<br>(thorny) OO issues.<br></blockquote></div><br>