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?