4 ms·

It's perfectly possible in languages with ordinary ADTs. data Nat = Z | S Nat data NonZeroNat = OnePlus Nat data NonZeroInt = Negative NonZeroNat | Posit

by 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).