14 points | by joecobb 2 days ago ago
3 comments
Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?
> 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?
Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.
Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?
> 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?
Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.