Скаляры, кортежи и отношения
В приведенном кратком обсуждении типов, значений и переменных я молчаливо предполагал, что говорю о скалярных типах, значениях и переменных. Но, конечно, наследование применимо и к нескалярным значениям -- в частности для значений-кортежей и значений-отношений -- поскольку, в конце концов, такие нескалярные значения строятся на основе скалярных значений. Однако мы не можем даже начать осмысленно говорить о таких вещах, пока не разберемся с тем, что означают подтипизация и наследование в скалярном случае. До особого замечания я буду использовать неуточненные термины "тип", "значение" и "переменная" в смысле скалярных типов, значений и переменных.
