yes what I imply is that we do not want to have the runtime semantics changed because of a type system.
Stef On Jul 13, 2010, at 5:05 PM, Johan Fabry wrote: > > 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 > [email protected] - http://dcc.uchile.cl/~jfabry > PLEIAD Lab - Computer Science Department (DCC) - University of Chile > > > > > _______________________________________________ > Pharo-project mailing list > [email protected] > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project _______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
