> A programmer with an expensive type system does not write better programs, any more than a novice guitarist becomes a stadium-grade shredder by buying a fancy

> A programmer with an expensive type system does not write better programs, any more than a novice guitarist becomes a stadium-grade shredder by buying a fancy guitar. I'd expect a more honest and thoughtful analysis from a "senior Research Software Engineer" at Oxford.