Какая типизация языков программирования лучше?