Hilarie: first question, do you want to make faster what? The development there or the deploy of a particular application? On Tue, Jul 13, 2010 at 9:15 AM, Marcus Denker <marcus.denker@inria.fr>wrote:
On Jul 12, 2010, at 10:45 PM, Stéphane Ducasse wrote:
instead of gradual typing I prefer the term pluggable types because it is really clear what it means.
Pluggable types is differnt to "gradual typing".
Pluggable types: Infrastucture to plug any type system (with infrastructure to allow to infer or or ignore non-annotated code).
Gradual Types: One (kind of) Type System where type annotations are optional:
Marcus
-- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.
_______________________________________________ Pharo-project mailing list Pharo-project@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project