Pok-12-wyk-Slajd27

Kontroler typów - wyrażenia: operatory

Jeżeli w wyrażeniu użyte zostaną operatory należy sprawdzić w normie języka do jakiego typu argumentu (argumentów) może dany operator zostać zastosowany. System typów języka określa także jaki będzie typ wyniku wyrażenia.

Dostępny w przykładowym języku operator dzielenia modulo może być zastosowany tylko do liczb całkowitych (integer ), a typem rezultatu jest również typ całkowity (integer ).

<< Poprzedni slajd | Spis treści | Następny slajd >>