For small codebases, sure. For large ones you want the machine to do the most heavy lifting as much as possible and a type compiler is one more layer in which t

For small codebases, sure. For large ones you want the machine to do the most heavy lifting as much as possible and a type compiler is one more layer in which this can be done. Granted it can also be abused and become a bottleneck, so it's a double edged sword type of tool like most things in software.