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