CoffeeStrainer - Statically Checking Structural Constraints on Java Programs

Statically typed languages allow many errors to be detected at compile-time. However, many errors that could be detected statically cannot be expressed using today’s type systems. We describe a compile-time reflection framework for Java which allows for static checking of structural constraints.