Typer och typsystem

Typ och gränssnitt: Definition av datatyper och deras beteende.

Typsäkerhet: Garanti att typer används korrekt.

Statisk typkontroll: Typkontroll vid kompilering.

Dynamisk typkontroll: Typkontroll vid körning.

Statisk typ och dynamisk typ: Typ definierad vid kompilering vs. körning.

Primitiv typ och referenstyp: Enkla datatyper (t.ex. int) vs. komplexa (t.ex. objekt).

int, double, boolean, char: Exempel på primitiva typer.

Värde och object: Värden (primitiva) vs. objekt (referenser).

Subtyp: En typ som är en specialisering av en annan.

Breda och smala typer: Generella typer vs. specifika subtyper.