<div dir="ltr">First, sorry for parasitizing this thread with this unrelated subject.<div><br></div><div>Tom,</div><div><br></div><div>The OOHaskell paper gives encapsulation. mutable state, inheritance, overriding, It uses haskell type safety to the limit, and virtual methods among other things. That is more than what most OO languages can offer (specially type checking)</div>

<div><br></div><div>These things are important in the mind of the OO people. Type classes while providing other different and more powerful advantages, do not cover these requirements. They are also very important for translating without pain, many tons of object oriented code to Haskell.</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-05-05 10:36 GMT+02:00 Tom Ellis <span dir="ltr"><<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2013@jaguarpaw.co.uk</a>></span>:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Mon, May 05, 2014 at 10:15:30AM +0200, Alberto G. Corona  wrote:<br>
> The OOHaskell solution, that uses HList, is a better Object oriented<br>
> system than the Object system in many OO languages.<br>
<br>
</div>That's very interesting.  Could you say a bit more about why?<br>
<span class="HOEnZb"><font color="#888888"><br>
Tom<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>Alberto.
</div>