Что Такое Type Checking?
Узнаем значение Type Checking, определение в крипто, Что Такое Type Checking и другие важные детали.
Type Checking является процессом, который определяет удовлетворяет ли операция программы правилам объявления типа языка программирования.
В большинстве случаев процесс Type Checking проводится компилятором. Компилятор может проверять и подтверждать содержат ли операции предустановленное число аргументов и типы данных.
Процесс Type Checking подразделяют на две системы: статическую и динамическую.
Статический Type Checking
Статический Type Checking предлагает надёжность, безопасность и экономит время так как исключает необходимость запускать программу.
Основным преимуществом такого подхода является предварительное обнаружение ошибок. Это значит, что нет необходимости запускать программу для обнаружения указанных ошибок. Всё делается заранее.
Компилятор начинает процесс Type Checking во время компиляции.
Давайте приведём в качестве примера язык программирования C. В данном случае можно запустить программу без объявления переменных. Однако так как переменные не объявлены, то компилятор не сможет завершить процесс и покажет ошибку. Программа в этом случае останется статичной.
Динамический Type Checking
Динамический Type Checking начинается либо во время запуска, либо выполнения. Поэтому отличается от статического, что проходит во время компиляции.
При этом можно писать программы без необходимости волноваться о каких-либо важных типах.
Давайте взглянем на одну из форм процесса Type Checking:
- Каждой переменной, параметру и функции назначается тип данных;
- Типы данных определяют какие могут быть проведены операции;
- Проводится Type Checking для проверки операций.
В отличие от статического Type Checking, где проверка проводится компилятором, процесс динамической проверки отличается в зависимости от языка программирования. К примеру, язык программирования PHP не требует компилятора, тогда как язык программирования C требует.
К тому же, имеются такие языки программирования, где программистам предоставляется возможность принимать значения во время выполнения и связывать их с произвольными свойствами. Или, если язык программирования это позволяет, программисты могут определять новые типы для использования внутри алгоритма программы.