Оглавление:
Определение - Что означает статически типизированный?
Статически типизированный является характеристикой языка программирования, в которой типы переменных явно объявлены и, таким образом, определяются во время компиляции. Это позволяет компилятору решить, может ли данная переменная выполнять запрошенные у нее действия или нет.
Статическая типизация связывает типы с переменными, а не со значениями. Некоторые примеры статически типизированных языков программирования включают в себя:
- Haskell
- FORTRAN
- Джава
- С
- C #
- C ++
- Ada
- нефрит
- паскаль
- ML
- Perl
- Scala
Техопедия объясняет статически типизированный
При статической типизации нет необходимости выполнять дополнительные проверки во время выполнения, чтобы подтвердить, что объект может выполнять некоторые действия. Статически типизированные языки программирования выполняют проверку типов во время компиляции, а не во время выполнения, что делает программы, написанные на этих языках, намного быстрее.
Кроме того, инструменты и рефакторинг лучше в статически типизированных языках, поскольку инструменты могут определять типы переменных при кодировании программы. Это помогает мгновенно понять параметры для данной функции, а также методы, доступные для конкретного объекта. Это также значительно упрощает процесс рефакторинга.
За несколькими исключениями, после того как метод или объект подвергнут рефакторингу, легко сразу понять, какие другие коды зависят от него. Однако это обходится дорого. За некоторыми исключениями, статически типизированные языки требуют дополнительных аннотаций, чтобы уведомить компилятор о намеченных целях автора.
Когда речь идет о структуре объектов, языки со статической типизацией имеют тенденцию быть менее гибкими по сравнению со своими динамическими аналогами. Невозможно добавить поля и методы к данному объекту во время выполнения. Это может быть сложно при обработке менее структурированных данных; например, синтаксический анализ запросов JSON, XML или базы данных приводит к неидеальным отображениям объектов.
