> Groovy is not "untyped" though, it's dynamically typed. It's as untyped as the untyped lambda calculus. You can encode 'type checks' that occur at runtime in the untyped lambda calculus too, but they're not types if they're not checked statically. They're just values.
Of course, I'm using the mathematical definition of type, rather than the usual woolly stuff Python programmers etc. come out with. :) -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
