Почему в некоторых языках программирования используется строгая типизация данных?

Строгая типизация данных используется в некоторых языках программирования для обеспечения надёжности разрабатываемых программных средств. science.fandom.com

Некоторые преимущества такого подхода:

• Защита от ошибок. science.fandom.com Строгая типизация предотвращает использование логически несовместимых значений, которые могут возникнуть из-за элементарной описки. science.fandom.com Такие ошибки выявляются ещё на этапе компиляции программы. science.fandom.com
• Предсказуемость кода. blog.skillfactory.ru wiki.merionet.ru Если переменная в строго типизированном языке числовая, то с ней можно выполнять только действия, предназначенные для чисел. blog.skillfactory.ru Например, математические операции с числами допустимы, а вот если попытаться применить их к строкам — программа выдаст ошибку. blog.skillfactory.ru
• Оптимизация кода. wiki.merionet.ru В языках со статической типизацией компилятор заранее знает, какие данные используются, и может оптимизировать код. wiki.merionet.ru Это ускоряет выполнение программы. wiki.merionet.ru

Примеры языков программирования со строгой типизацией: Python, Java, C#. blog.skillfactory.ru wiki.merionet.ru