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 > [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
