Prečo je potrebné prísne typovanie a prečo je výhodnejšie s ním pracovať ako s dynamickým typovaním v JavaScripte alebo Pythone?