3 ms·

I think it would be possible and practical to use refinement types to statically prevent all divisions by 0. I think you could also do this to detect and preven

I think it would be possible and practical to use refinement types to statically prevent all divisions by 0. I think you could also do this to detect and prevent integer overflow.

throwawaymaths 2y ago
Not really. You could divide by the subtraction result of two positive integers.
- ChadNauseam 2y ago
  You would just have to prove that the integers are not equal, right?