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