Система типізації (англ. type system) в програмуванні визначає множину припустимих значень даних та множину операцій над даними. Тип даних означає множину...

Середовище типізації (англ. typing environment), або контекст типізації (англ. typing context) — поняття у теорії типів, що представляє зв'язок між іменами...

цих цілей використовується багато дисциплін «сильної типізації». Див. також: Каламбур типізації Деякі мови програмування дозволяють легко використовувати...

комп'ютерних продуктів тощо до невеликого числа вибраних типів. Система типізації Класифікація Системний підхід Системотехніка Типологія Теорія типів...

і типізацією качки, в якій перевіряється лише та частина структури, що використовується під час виконання для сумісності. У структурній типізації елемент...

Одноманітна система типізації, з підтримкою семантики значень та посилань, всі типи, включно із базовими основані на класах. Безпечна типізація (статична...

як мова специфікації. До особливих аспектів дизайну Julia належать система типізації з параметричним поліморфізмом та типи в повністю динамічній мові програмування...

Принцип підстановки Лісков Простір назв Прототипне програмування Система типізації Таблиця віртуальних функцій Узагальнене програмування Успадкування...

Каламбур типізації є прямим порушенням типобезпеки. Традиційно можливість побудувати каламбур типізації пов'язують зі слабкою типізацією, але й деякі...

відбуватися поетапно, через поступове визначення типів. Підтримка динамічної типізації зберігається — компілятор TypeScript успішно обробить і не модифікований...

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

В основі строгої і статичної системи типів мови лежить лямбда-числення, до якого додана строга типізація. Строга система типів робить можливості для оптимізації...

джей шарп) — об'єктно-орієнтована мова програмування з безпечною системою типізації для платформи .NET. Розроблена корпорацією Microsoft . Синтаксис J#...

неоднозначностей, рекомендується явно вказувати тип виразів. Сама модель типізації базується на алгоритмі виведення типів виразів, який має як джерело механізм...

наприклад: повертається тип void в деяких мовах програмування: public void returnNothing() Тип даних Функціональний тип Система типізації Теорія типів...

механізми програмування: Модульне програмування; Конкурентні обчислення; Типізацію; Абстрактні типи даних Обмін повідомленнями між процесами; Обмін даними...

відмінність від інтерпретованих реалізацій Python: відсутність динамічної типізації. def factorial(n as ulong) as ulong: if n == 1: return 1 else: return...

програмування загального призначення з сильною (strongly typed) динамічною типізацією. Програма транслюється у байт-код, який виконується на віртуальній машині...

зберігаючи переваги і статичної типізації, часто відчувається навіть більш лаконічною та ясною ніж мови із динамічною типізацією, такі як Python. Кей Хорстман...

призначені для можливості порушити (англ. violate) систему типів (див. Зведення типів і Каламбур типізації). В одних випадках це допускається лише в обмежених...

однойменну мульти-парадигмову високорівневу мову програмування зі строгою типізацією, крос-компілятор і стандартну бібліотеку функцій. Проектом підтримується...

чисті системи типів. Гомотопічна теорія типів[en] зараз досліджується. Докладніше: Система типізації Існує тісний зв'язок між теорією типів та системами типізації...

статичної типізації в об’єктно-орієнтованих мовах. Багато динамічно типізованих мов не мають схожих механізмів (хоча використання латентної типізації відкидає...

Систе́ма F (полімо́рфне ля́мбда-чи́слення, систе́ма λ 2 {\displaystyle \lambda 2} , типізо́ване ля́мбда-чи́слення дру́гого поря́дку) — система типізованого...

можливості, як: Класи, а отже Об'єктно-орієнтоване програмування Система типізації Узагальнене програмування TypeScript — надмножина ECMAScript 6 (ES6)...

так і з Haskell.Вона має сильну, статичну, поліморфну систему типізації, а також сильну систему режимів і детермінізму. Офіційна реалізація, Melbourne...

ніколи не повинні ігноруватися») та є одним із засобів підтримки «качиної типізації». Іноді, замість явної обробки винятків, зручніше використовувати блок...

функціональна мова програмування загального призначення зі статичною типізацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування...

Номінальна система типів означає, що сумісність типізації та/або еквівалентність вирішується на основі очевидних оголошень та імен. Структурна система типів...

Функціональна мова Haskell обмежує побічні ефекти через статичну систему типізації; вона використовує концепцію монад. Розробники на мові асемблера мають...

Nemerle — високорівнева мова програмування із статичною типізацією для платформи .NET. Вона надає можливість використовувати функціональний, об'єктно-орієнтований...