Vera – A language designed for machines to write
14 points
1/21/1970
2 days ago
by joecobb
Comments
nojito
a day ago
hyperhello
> 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?
a day ago
3836293648
Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.
a day ago
Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?