Checkable automatically is nice. Actually readable by humans is required. Every year someone figures out that a program can pass the most rigorous compile time

Checkable automatically is nice. Actually readable by humans is required. Every year someone figures out that a program can pass the most rigorous compile time type checks and yet still be wrong.