Proč je nutná přísná typizace a proč je výhodnější s ní pracovat než s dynamickou typizací v JavaScriptu nebo Pythonu?