Проблема типизации

Проблема типизации
Базисная конструкция
Статическая и динамическая типизация
Правила типизации
Реализм
Пессимизм
Статическая типизация: как и почему
Преимущества

Аргументы в пользу динамической типизации
Типизация: слагаемые успеха
"Типизирована ли кроха"?


Типизация и связывание
Ковариантность и скрытие потомком
Ковариантность

Параллельные иерархии
Своенравие полиморфизма
Скрытие потомком
Корректность систем и классов
Практический аспект
Корректность систем: первое приближение
Контравариантность и безвариантность
Использование родовых параметров
Типовые переменные
Полагаясь на закрепление типов

Глобальный анализ
Остерегайтесь полиморфных кэтколлов!
Назад, в Ялту
Одно правило и несколько определений

Оценка
Полное соответствие
Ключевые концепции
Библиографические замечания
Содержание раздела

---

---