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:
� � � � � � � �http://ecee.colorado.edu/~siek/gradualtyping.html
� � � �Marcus
--
Marcus Denker �-- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.