Pok-12-wyk-Slajd13

Wyrażenia określające typy – typy specjalne

W implementacji kompilatora potrzebne są również dwa specjalne typy podstawowe (nie występujące w języku źródłowym):

type_error sygnalizuje błąd typu; co, konkretnie jest błędem typu zależy od systemu typów języka źródłowego, dla przykładu można jednak przyjąć, że w popularnych imperatywnych językach źródłowych wysokiego poziomu próba dodania tablicy do wskaźnika na funkcję jest błędem typu,
void (type_void ) to typ pusty (brak typu), jest używany przy kontroli typów w instrukcjach.