Тип уточнения
Тип уточнения Безопасность типов Уточняющие типы выражают предварительные условия и постусловия в функциях. Пример: функция, возвращающая натуральные числа больше 5. […]
Вики
незавершенные статьи по теории языков программирования
Вики
Тип проживания
Тип населенного пункта Определение типа в теории типов Проблема определения типа в типизированном математическом анализе: существует ли λ-код M, такой