Sorry, I did not invent the terminology, we'll just have to do with this ... On 12 Jul 2010, at 16:45, Stéphane Ducasse wrote:
instead of gradual typing I prefer the term pluggable types because it is really clear what it means.
On Jul 12, 2010, at 10:03 PM, Johan Fabry wrote:
Gradual typing could help there, doing optimisations where possible. Eric has a PhD student (Oscar) working on gradual typing, with Pharo as the test bed. Next semester there should start a second one with me (Esteban) that is going to look at the vm side of things: if type info is available, use it to optimise ...
So, we are working on it ;-)
-- Johan Fabry jfabry@dcc.uchile.cl - http://dcc.uchile.cl/~jfabry PLEIAD Lab - Computer Science Department (DCC) - University of Chile