Типизированы и все переменные.
Каждая переменная объявляется как переменная в точности одного типа. В языке Tutorial D, например, мы могли бы объявлять переменные следующим образом:
VAR E ELLIPSE ;
Здесь объявленным типом переменной E является ELLIPSE. При отсутствии наследования все возможные значения данной переменной относятся в точности к одному типу, а именно, к соответствующему объявленному типу. Однако при наличии наследования данная переменная может иметь значение, которое одновременно относится к нескольким типам; например, текущее значение переменной E может быть эллипсом, который на самом деле является окружностью, и, следовательно, в одно и то же время относится и к типу ELLIPSE, и к типу CIRCLE.
