Blog of Gavin King

Object-oriented != imperative

The signature of reduce() in Ceylon

On three-legged elephants

A paradox about typesafety and expressiveness

Intersections and variance