It’s good to experience a static type system; one never knows true freedom until it has been lost, after all.

— Matthew Danish, in c.l.l, on ML