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