> That pretty much defines software engineering. Sure, but by moving things that require discipline into type systems/tools, it makes working with others easier

> That pretty much defines software engineering. Sure, but by moving things that require discipline into type systems/tools, it makes working with others easier. Not to mention that no matter how disciplined you are, you will make mistakes, and having the compiler catch those for you is valuable. It also means that the discipline applied by the programmer can be focused on areas that can't be checked or enforced by a compiler.