my whole gripe with a strict type system , is that it does not need to be a language feature the same way tests/IDE dont need to part of the language. you can

my whole gripe with a strict type system , is that it does not need to be a language feature the same way tests/IDE dont need to part of the language. you can add them if you need it but it shouldnt be a center piece , what should always come first is the feature / tech spec. Python has a great type system aswell its objects all the way down. And you can mix and match how you see fit. If you have identified that type checking is crucial part of the tech spec as a sanity check or otherwise you can import type checkers(ie mypy) with a very focused api to solve that problem. And in my opinion type obsession obscures the techspec rather than clarifying it , and places a large burden when the question of changing the spec comes. The simple cognitive load of keeping track of all the int's which need to be made to str's can drain you and make you loose site of the functionality.