→Typisieren

Beim Typisieren eines →überladenen Sprachelements wird der konkrete →Datentyp bestimmt, so könnte z.B. für den allgemeinen Datentyp ANY_INT der konkrete Datentyp INT bestimmt werden.

→Ausdrücke werden ebenfalls typisiert. Erläuterungen dazu finden Sie unter "Typisierung von Ausdrücken".