Основы объектно-ориентированного программирования


17


Проблема типизации
Базисная конструкция
Статическая и динамическая типизация
Правила типизации
Реализм
Пессимизм
Статическая типизация: как и почему
Преимущества
Преимущества - часть 2
Аргументы в пользу динамической типизации
Типизация: слагаемые успеха
Типизация: слагаемые успеха - часть 2
"Типизирована ли кроха"?
Типизация и связывание
Типизация и связывание - часть 2
Ковариантность и скрытие потомком
Ковариантность
Ковариантность - часть 2
Ковариантность - часть 3
Параллельные иерархии
Своенравие полиморфизма
Скрытие потомком
Корректность систем и классов
Практический аспект
Корректность систем: первое приближение
Контравариантность и безвариантность
Использование родовых параметров
Типовые переменные
Полагаясь на закрепление типов
Полагаясь на закрепление типов - часть 2
Полагаясь на закрепление типов - часть 3
Полагаясь на закрепление типов - часть 4
Глобальный анализ
Глобальный анализ - часть 2
Глобальный анализ - часть 3
Остерегайтесь полиморфных кэтколлов!
Назад, в Ялту
Одно правило и несколько определений
Одно правило и несколько определений - часть 2
Оценка
Полное соответствие
Ключевые концепции
Библиографические замечания



Начало