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

On Fri, Sep 25, 2009 at 8:14 PM, Job Vranish wrote:

Supposedly OCaml has an OO feature that does this but I haven't tried it out.

Indeed, OCaml has stuctural polymorphism, it's a wonderful feature. *# let f myobj = myobj#foo "Hi !";; val f : < foo : string -> 'a; .. > -> 'a = <fun>* IIRC, there has been work on Template Haskell for structural polymorphism. -- Alp Mestan http://blog.mestan.fr/ http://alp.developpez.com/