3 ms·
Yes you can, if your programming language supports dependent types: https://bluishcoder.co.nz/2013/05/07/ranged-integer-types-and-bounds-checking.html https://b
by DougBTX 9y ago
Yes you can, if your programming language supports dependent types: https://bluishcoder.co.nz/2013/05/07/ranged-integer-types-and-bounds-checking.html https://bluishcoder.co.nz/2013/05/07/ranged-integer-types-an...