8 ms·
Anything with ranged numeric types. Like everyone's favorite functional programming language, Ada.
by astrange 1mo ago
Anything with ranged numeric types. Like everyone's favorite functional programming language, Ada.
- black_knight 1mo agoOr Liquid Haskell.
- ghaslt 1mo agoThis issue raises SIGFPE. Ada would raise Constraint_error, which is easier to catch than a signal, but still occurs at runtime. You need range proofs to be 100% safe, and then you can as well use the regular type because invalid values will not occur.