2 ms·
The formal term for the Ada-ish constraints on acceptable values is dependent types.
by Jeff_Brown 5y ago
The formal term for the Ada-ish constraints on acceptable values is dependent types.
- Jeff_Brown 5y agoWait no, it's close but not as strong as dependent types. I was thinking of Agda.