5 ms·
Vera – A language designed for machines to write
- 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.
- nojito 6mo agoWhy use braces when you can use () and then auto balance them using a tool instead of having the llm count them?