 |
| |||
предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 • Constrain not just ranges, but shapes, e.g., an identifier is a string of A–Z and 0–9, non-empty, first character a letter.  hackernoon.com Alex_Odeychuk) | |||
|
subtype predicate : 4 短语, 1 学科 |
| 编程 | 4 |