Martin C. Martin wrote:

Actually, you don't have static typing in Groovy, you have a limited type-checking syntax that happens at runtime.

Static typing would mean that at compile time you're binding to a specific type and specific methods on that type. Groovy's type declarations are only used to declare that a particular variable can only accept values of a given type or its subtypes; no guarantees are made about method binding since the set of methods on a given type may be different at runtime (categories, expando).

Any attempt to force Groovy into "fully static mode" under certain circumstances would require either checking for dynamic changes at runtime or differing method dispatch semantics. The former would still incur a performance hit and possibly eliminate some of the benefit of static typing. The latter would not be Groovy.

- Charlie

--------------------------------------------------------------------- To unsubscribe from this list, please visit:

http://xircles.codehaus.org/manage_email