Hacker News new | ask | show | jobs
by DougBTX 3076 days ago
Yes you can, if your programming language supports dependent types: https://bluishcoder.co.nz/2013/05/07/ranged-integer-types-an...