Re: Idle musings on doing E over again

On Oct 7, 2012, at 12:32, Raoul Duke wrote:

> On Sun, Oct 7, 2012 at 8:43 AM, Kevin Reid <kpreid-M/[email protected]> wrote:
>> Haskell's variety of type system has a number of disadvantages; one is (I understand) that it cannot handle OO-style subtyping.
> 
> you are most likely already totally aware but i'll mention it anyway,
> see Scala, C#, F#, Ocaml, Haxe, et. al. for concrete implementations
> of inferring things in a combined FP+OO language. (people seem to be
> pretty frustrated when they go use Scala after using more just-fpish
> inference.)

Actually, I haven't used any of those languages. I'll just add that to my todo list right now, since this is very relevant.

-- 
Kevin Reid                                  <http://switchb.org/kpreid/>