July 13, 2010
7:15 a.m.
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.