text: В 1985 году Питер Вегнер и Лука Карделли формализовали полиморфизм включения для моделирования подтипов и наследования, хотя реализации подтипов и наследования появились намного раньше, в языке Симула в 1967 году.