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

[Alp Mestan]

On Fri, Sep 25, 2009 at 8:14 PM, Job Vranish <jvranish at gmail.com> 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090925/03d18487/attachment.html