Vera – A language designed for machines to write

veralang.dev

14 pointsjoecobb3 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.

Reply on news.ycombinator.com