3 ms·
> Division by zero is not a runtime error — it is a type error. Uh, help me out here, which kind of type error? You have a separate nonzero integer static type
by hyperhello 6mo ago
> Division by zero is not a runtime error — it is a type error.
Uh, help me out here, which kind of type error? You have a separate nonzero integer static type required for the denominator of the division operator?
- 3836293648 6mo agoGiven the focus on static verification of contracts and orthogonality, surely the division operator also has one.