> but you get more assurances when your type system gives you feedback about whether you're thinking about the problem right. It really isn't as much about lan

> but you get more assurances when your type system gives you feedback about whether you're thinking about the problem right. It really isn't as much about languages as it is about the people who use them. The key ability is to prove things about programs. Powerful type systems, especially those that have type inference, merely relieve the programmer from some of the most boring parts of the job. Sometimes.