But I am doubtful of how actually useful it will be given how typing isn't very popular with real world code in TypeScript or Python. Too many people prefer to cut corners if they can. It should be either strict typing or none of it.
Typescript is how it is because it is a strict superset of javascript and because they needed a type system which would describe all the existing Web APIs, which are a nightmare.
