[–] hyperhello 3mo 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 3mo ago ↗ Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.
[–] 3836293648 3mo ago ↗ Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.
[–] nojito 3mo ago ↗ Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?
3 comments
[ 3.1 ms ] story [ 17.9 ms ] threadUh, 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?