> Perhaps the best marriage between static and dynamic type to give us the > greatest granularity combined with the advantages of static checking, > would be to consider two interfaces equivalent if they have the same > members (including argument list and return type for method members)?
I see HaXe (which targets Neko) supports anonymous interfaces (unnamed interfaces), i.e. "structural subtyping": http://lambda-the-ultimate.org/node/1625#comment-20011 -- Neko : One VM to run them all (http://nekovm.org)
