Защо е необходима строгата типизация и защо е по-удобно да работите с нея, отколкото с динамичната типизация в JavaScript или Python?