because I was reminded of them recently, because they may be useful landmarks in the prospective of future discussions, because expanding one's understanding of the problem/solution space of language design is quite a good thing if one is interested in such things...
1) Gilad Bracha. Pluggable Type Systems . OOPSLA04 Workshop on Revival of Dynamic Languages ( http://pico.vub.ac.be/%7Ewdmeuter/RDL04/papers/Bracha.pdf ) As a talk: Pluggable Types, originally given at Aarhus University in March 2003, and repeated since at Berne and elsewhere. ( http://bracha.org/pluggable-types.pdf ) 2) http://homepages.cwi.nl/~ralf/OOHaskell/ state of the art experiment on trying to reconcile object orientation, type inference and as much as possible expressiveness PS: I think 1 is much more relevant than 2 for Python as we know it. happy reading. _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com