Abstract: Static Type Checking This GEP introduces a new feature in the language known as static type checking. It is often disturbing for developers coming from a statically typed language (say Java) to discover that the Groovy compiler will not complain at compile time: when assignments are made on different types when a method doesn't exist when a property or variable doesn't exist when returne