Pok-12-wyk-Slajd11
Systemy typów(1)
Sprawdzenie zgodności typów w programie źródłowym jest wykonywane przez tzw. kontroler typów. Często nie jest to oddzielny przebieg kompilacji i jest wykonywany w trakcie analizy składniowej (C, Pascal). W bardziej skomplikowanych przypadkach (Ada) konieczne może być jednak użycie oddzielnego przebiegu.
Różne kompilatory tego samego języka mogą korzystać z różnych systemów typów (klasycznym przykładem jest przekazywanie tablic jako argumenty funkcji w Pascalu). Analizator oparty o bardziej restrykcyjny system typów niż standardowy dla danego języka źródłowego może być użyteczny do wykrywania potencjalnych błędów (przykładem takiego narzędzia jest lint dla języka C).
System typów danego języka klasyfikujemy jako silny, jeśli nie ma potrzeby dynamicznego sprawdzania zgodności typów (wszystkie zależności mogą być sprawdzone statycznie). Język, w którym wykorzystano silny system typów nazywany jest językiem silnie utypowionym.
