Код на языке **Nim** описывает вычисления, которые воздействуют на память, состоящую из отдельных ячеек, называемых _локациями_. _Переменная_ — это, по сути, имя локации.
Каждая переменная и локация имеют определенный _тип_. _Тип переменной_ называется _статическим типом_, а _тип локации_ — _динамическим типом_. Если статический тип отличается от динамического, то он является _супертипом_ или _подтипом динамического типа_.