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