Vera – A language designed for machines to write
veralang.dev
Vera – A language designed for machines to write
1–4 of 4 posts
Re: Vera – A language designed for machines to write
#2> 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?
Re: Vera – A language designed for machines to write
#3> 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.
Re: Vera – A language designed for machines to write
#4Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?