Ajattelumalli
Jokainen muuttuja vie muistista tilaa tarvitsemansa määrän ja siihen voidaan
kohdistaa vain sille luonteenomaisia operaatioita.
Toimintamalli
Jokaiseen muuttujaan voidaan liittää käsite "tyyppi", joka ilmaisee muuttujan luonteen.
 | Tyypin määritelmä |
| Esimerkki |
| C-kielen yksinkertaiset tyypit |
| Tyyppi määrää tulkinnan |