Den statiske type af en variabel eller parameter er den type, hvoraf variablen eller parameteren er erklæret
Den dynamiske type af en variabel eller parameter er typen af det objekt, variablen eller parameteren refererer til
A x; // x har statisk type A. B y; // y har statisk type B. x = new A(); // x har dynamisk type A. y = new B(); // y har dynamisk type B. x = y; // x har dynamisk type B. Lovligt? y = x; // y har dynamisk type B. Lovligt?