[Haskell-cafe] Re: Strong duck typing / structural subtyping / type class aliases / ??? in Haskell

2009-09-29 Thread Alp Mestan
I had never seen this work, it's just awesome ! And it only needs few Haskell extensions. Is this work deeply documented somewhere except in research papers ? If not, it could be worth doing, IMO. On Tue, Sep 29, 2009 at 9:37 AM, o...@okmij.org wrote: Alp Mestan wrote: Indeed, OCaml has

Re: [Haskell-cafe] Re: Strong duck typing / structural subtyping / type class aliases / ??? in Haskell

2009-09-29 Thread Peter Verswyvelen
Yes, the OOHaskell paper blew my mind too, but I still only understood half of it when reading it for the second time (especially the mfix thing was scary :-) Not giving up though ;-) But I wander if the error messages you would get from GHC make it easy to see what is going wrong. It would be