Simon Willison’s Weblog

The Fishbowl: Type Inference and Java. Why Java’s implementation of static typing is stupid.