At the TC-39 meeting I suggested that Kim Bruce's research in object-oriented typing is something that some people might want to look at as they think about the role of type annotations in Harmony. Here are some pointers to Bruce's work:
http://www.cs.williams.edu/~kim/research.html His book is probably the comprehensive source: http://www.cs.pomona.edu/~kim/FOOLbook.html His papers are the here: http://www.cs.williams.edu/~kim/README.html In particular see: http://www.cs.williams.edu/~kim/README.html#Match and http://www.cs.williams.edu/~kim/README.html#Static But some of the other are also interesting
_______________________________________________ Es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
