Наследование

Параметризованные классы могут быть производными от других классов, параметризованных или нет. Кроме того, параметризованный класс может выступать в качестве базового; в этом случае производный класс также будет параметризованным с тем же форматом аргументов, что и в базовом классе. В производном классе могут добавляться новые параметры, но результат напоминает соревнования по поводу того, кто уместит в одной строке больше APL-кода. Другими словами, не делайте этого. Из всех перечисленных мутаций чаще всего встречается наследование параметризованного типа от непараметризованного. Мы рассмотрим это и другие сочетания простых и параметризованных типов в следующем разделе.