Chris Martin is a Haskeller, and so will spend hardly any time writing type specifications. He'll let the compiler infer them. I'm very enthusiastic about stat

Chris Martin is a Haskeller, and so will spend hardly any time writing type specifications. He'll let the compiler infer them. I'm very enthusiastic about static types with global type inference, where I don't have to write a single type annotation if I don't want to. My enthusiasm degrades pretty quickly the more annotations I have to manually clutter my code.