Re: Idle musings on doing E over again
Raoul Duke <[email protected]> Sun, 7 Oct 2012 12:32:05 -0700
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <CAJ7XQb5iE=s+2XDdg4yzKcscCZMrfCB3njLff+CZPk4TPkw0Vg@mail.gmail.com> |
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.)