| |||
| система типов (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) | |||
| |||
| системы типов (ssn) | |||
|
type system : 310 phrases in 58 subjects |