Оглавление:
Определение - Что означает «сильно типизированный»?
Строго типизированный - это понятие, используемое для обозначения языка программирования, который налагает строгие ограничения на смешивание значений с различными типами данных. Когда такие ограничения нарушаются и возникает ошибка (исключение).
Техопедия объясняет, как сильно типизирован
Примеры существующих строго типизированных языков включают Java, Ruby, Smalltalk и Python. В случае Java во время компиляции обнаруживаются ошибки ввода. Другие языки программирования, такие как Ruby, обнаруживают ошибки ввода во время выполнения.
В строго типизированных языках поведение операций более предсказуемо, чем в слабо типизированных. Недостатком является необходимость объявлять и вводить все переменные и параметры - хотя некоторые утверждают, что это просто хорошее кодирование.
Различие между строго типизированными языками и слабо типизированными языками несколько размыто. Некоторые из языков, которые считаются строго типизированными, на самом деле допускают уступки, которые делают их слабо типизированными. Возьмите C #, например. Хотя C # требует, чтобы все его переменные имели определенный тип, он позволяет программисту отключить динамическую проверку типов. Даже Java, считающийся одним из наиболее строго типизированных языков программирования, позволяет приводить объекты к другим типам.
