Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции...

реализации динамических языков программирования. Противоположный приём — статическая типизация. Хотя сам метод получения значения переменной может отличаться в...

Нея́вная типиза́ция, лате́нтная типиза́ция, или ути́ная типиза́ция (англ. duck typing), в объектно-ориентированных языках программирования — определение...

компиляции[англ.] (статическая типизация), так и во время выполнения (динамическая типизация). Возможны и промежуточные решения (ср. Последовательная типизация). Если...

большинстве случаев статическая типизация позволяет уменьшить затраты ресурсов при выполнении программы, поскольку для динамической типизации требуются затраты...

Сильная и слабая типизация или строгая и нестрогая типизация — характеристика системы типов языка программирования, отражающая существенные ограничения...

домены (например, выражения SQL). Неявная типизация: Вывод типов локальной переменной. Для неявной типизации вместо названия типа данных используется ключевое...

поддерживает те же операции, что и значение в JavaScript и минимальная статическая проверка типов выполняется для операции на any. Когда сценарий TypeScript...

осуществляющим динамическую проверку согласования типов (сильная и слабая типизация). Иногда безопасность рассматривается как свойство конкретной программы...

объектно-ориентированный, высокоуровневый язык программирования со строгой статической типизацией переменных. Основная область использования — написание прикладного...

проверяется во время компиляции, то есть к этим переменным применяется статическая типизация. Оставшиеся переменные можно оставлять нетипизированными, а возможные...

библиотек или расширений. Основные архитектурные черты — динамическая типизация, автоматическое управление памятью, полная интроспекция, механизм обработки...

Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования...

Nim — компилируемый язык программирования со статической типизацией, поддерживающий процедурный, объектно-ориентированный, функциональный и обобщённый...

разработки PHP с надёжностью и производительностью, которые обеспечивает статическая типизация. На момент релиза проект поддерживали его создатели — Брайан О’Салливан...

выпустила обновленную версию языка — Dart 2.0. В язык добавлена строгая статическая типизация и новый компилятор для разработки dartdevc. Простое приложение,...

поддерживается при разработке ядра Linux. Используется сильная статическая типизация. Поддерживается обобщённое программирование с поддержкой параметрического...

интерпретируемых языках с динамической типизацией, технически возможно добавить прототипирование и в языки со статической проверкой типов. Язык Omega является...

позволяет впоследствии переназначать типы. Сильная типизация порой ошибочно отождествляется со статической. В общем и целом, язык называется безопасным, если...

Эйфелю и C++ — это строго типизированный язык преимущественно статической типизацией (проверкой типов на стадии компиляции). Язык BETA имеет ряд уникальных...

функциональный язык; Ceylon — объектно-ориентированный язык со строгой статической типизацией; JRuby — реализация Ruby; Jython — реализация Python; Nashorn —...

создан язык программирования Х10. Язык объектно-ориентированный, со статической типизацией, с поддержкой на уровне языка параллелизма на основе задач, привязки...

многих языках программирования (особенно это касается языков со статической типизацией, как например, Java, C++ и Си) возвращаемый тип должен быть явно...

дублируется dx, а не dy Ошибки форматных строк, особенно в языках со статической типизацией. Например: std::wstring s; printf("s is %s and d is %d", s); Неиспользуемые...

'бу' ) — объектно-ориентированный язык программирования с сильной статической типизацией для платформы .NET. Появился в 2003 году. Является компилируемым...

«синтаксической соли» являются имеющиеся почти в любом языке со статической типизацией встроенные команды преобразования типов данных. Формально эти команды...

для синтаксического выделения блоков кода. Язык поддерживает как статическую типизацию, так и динамическую, обеспечивает поддержку контрактного программирования...

интерактивности веб-страницам. Основные архитектурные черты: динамическая типизация, слабая типизация, автоматическое управление памятью, прототипное программирование...

Go — язык со строгой статической типизацией. Доступен автоматический вывод типов, для пользовательских типов — «утиная типизация». Полноценная поддержка...

(байт-код среды выполнения Erlang), — Erlang и Elixir — использует статическую типизацию, имеет собственную типобезопасную реализацию OTP (фреймворка акторов...

веб-разработчиками. Однако, в отличие от ECMAScript, язык получил статическую типизацию переменных и динамические типы возвращаемых значений. По сравнению...