Strange this is not what gilad mentioned. A pluggable type system: you can plug multiples one and the runtime is not influenced by type systems. Stef
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:
http://ecee.colorado.edu/~siek/gradualtyping.html
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