Типизация в языках программирования – это метаданные, которые несут в себе значения, служащие для проверки возможности взаимодействия друг с другом, с функциями или иными частями программы.

Различают несколько классификация типизации

• Строгая типизация
• Слабая типизация
• Статическая типизация
• Динамическая типизация
• Явная типизация
• Неявная типизация

Типизация концепт математический, подробнее можно прочитать здесь: https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%82%D0%B8%D0%BF%D0%BE%D0%B2 https://ru.wikipedia.org/wiki/%D0%93%D0%BE%D0%BC%D0%BE%D1%82%D0%BE%D0%BF%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%82%D0%B8%D0%BF%D0%BE%D0%B2 https://ru.wikipedia.org/wiki/%D0%A2%D0%B8%D0%BF%D0%BE%D0%B1%D0%B5%D0%B7%D0%BE%D0%BF%D0%B0%D1%81%D0%BD%D0%BE%D1%81%D1%82%D1%8C