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