As far as I can see, he is in the formalizing (a subset of) Smalltalk phase. We must be patient, such formal stuff cannot be hurried ;-) On 12 Jul 2010, at 16:45, Stéphane Ducasse wrote:
I would love to hear more about oscar. I would love to know where the libraries could be improved to have more coherent type information. I told him when I visited you but so far we got no feedback. We will see if there are some results.
Stef
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