Hilarie: first question, do you want to make faster what? The development
there or the deploy of a particular application?

On Tue, Jul 13, 2010 at 9:15 AM, Marcus Denker <[email protected]>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<http://ecee.colorado.edu/%7Esiek/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

Reply via email to