It's true, but the absence of adoption of these great tools in industry worries me. Most Python developers in industry don't seem to care one iota about handling corner cases of types, and so their code is full of problems. Most Python developers in industry are very untrained, and have no discipline when it comes to types. It makes me sad while working in such a setting.