I am a big fan of TypeScript, and I do not like the weak static analysis of Python because it leads to frequent runtime-crashes of Python programs. So ideally, I would like
