3 ms·

Only if your language supports dependent types.

• krylon 8y ago
  In Ada, you can define integer types that only accept a given range of values.
• tonyg 8y ago
  It's perfectly possible in languages with ordinary ADTs. data Nat = Z | S Nat data NonZeroNat = OnePlus Nat data NonZeroInt = Negative NonZeroNat | Positive NonZeroNat
  • jwatte 8y ago
    C isn't one of those languages, though.
    • tonyg 8y ago
      The analogous would be the Go-style represent-a-sum-badly-as-a-product, struct nonzero_t { int is_negative; unsigned int one_less_than_the_absolute_value; }; which, under interpretation, ranges from -(2^32) to -1 and +1 to +(2^32).