Pok-12-wyk-Slajd32
Kontroler typów - instrukcje: instrukcja przypisania
Analizując poprawność typów w instrukcji przypisania – w najprostszym przypadku – wystarczy sprawdzić, czy typy po obu stronach są identyczne.
Jeżeli po lewej stronie operatora przypisania może wystąpić wyrażenie trzeba dodatkowo rozróżniać tzw. l-wartości (po lewej stronie operatora przypisania) i r-wartości (po prawej stronie). Np. instrukcja przypisania 1 := 2 ma po obu stronach te same typy, ale nie jest poprawna (bo po lewej stronie operatora jest stała).
Definicja każdego języka określa również zakres dostępnych konwersji (np. liczby całkowitej do liczby rzeczywistej). Z punktu widzenia kontrolera typów istotne są tylko konwersje niejawne (koercja typów) wykonywane automatycznie (konwersje jawne są traktowane jak wywołania funkcji).
