Как мы все знаем, существует множество языков программирования, например. Java, C, Javascript, Python и многие другие. Однако прежде чем выбрать какой-либо язык программирования, важно знать, к какой категории он относится. Узнать категорию довольно просто, поскольку их всего две:
Статически типизированные языки программирования
Динамически типизированные языки программирования
Прежде чем определить две категории, давайте сначала определим проверку типов. Проверка типов — это процесс проверки того, что типы данных, используемые в программе, соответствуют правилам объявления языка программирования.
Статически типизированные языки программирования — это просто языки, в которых вам необходимо указать тип переменной, которую вы используете в своем коде. Это связано с тем, что проверка типов в статических языках программирования происходит во время компиляции. См. пример ниже.
Пример:
В Яве
Строка x = «Стэн»;
Как видно из примера выше, нам необходимо указать тип переменной x, иначе в нашем коде возникнет ошибка.
С другой стороны, динамически типизированные языки программирования — это языки, в которых нам не нужно указывать тип данных переменных, используемых в нашем коде. Проверка типов происходит во время. например
В Javascript:
Пусть name = «Стэн»;
В приведенном выше примере нам не нужно указывать тип нашей переменной, и код работает нормально.
Следуйте за мной, чтобы увидеть больше статей, связанных с Javascript.