System typów
Z Wikipedii
System typów języka programowania to system, według którego ustalane są typy wyrażeń, następują konwersje wartości wyrażeń, ich walidacja, wybór kodu do obsługi wyrażenia (polimorfizm) itd.
Systemy te klasyfikuje się według siły typizacji - od typizacji silnej do słabej.
Zobacz też: system typów ML, inferencja typów