История изменений
Исправление hateyoufeel, (текущая версия) :
Проверка корректности кода и проверка типов немножко разные вещи.
В каком месте? В случае со статически типизированными языками с достаточно мощной системой типов (хотя бы уровня C++ с концептами и прочими плюшками) с помощью этих самых типов программист описывает некие инварианты относительно кода, которые потом проверяются компилятором. Более мощные системы типов позволяют точнее описывать свойства программ. Чем это отличается от проверки корректности?
Исходная версия hateyoufeel, :
Проверка корректности кода и проверка типов немножко разные вещи.
В каком месте? В случае со статически типизированными языками с достаточно мощной системой типов (хотя бы уровня C++) с помощью этих самых типов программист описывает некие инварианты относительно кода, которые потом проверяются компилятором. Более мощные системы типов позволяют точнее описывать свойства программ. Чем это отличается от проверки корректности?