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


              

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

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

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

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

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

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