Vera – A language designed for machines to write

Posted by joecobb on Wednesday April 08, 2026 @05:05PM
from the veralang.dev dept.

( 3 comments | 3 points | on HN )

Re:Vera – A language designed for machines to write by hyperhello on Wednesday April 08, 2026 @11:30PM (#47698977)

> 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?

[ Parent | on HN ]

Re:Vera – A language designed for machines to write by 3836293648 on Thursday April 09, 2026 @06:12AM (#47701598)

Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.

[ Parent | on HN ]

Re:Vera – A language designed for machines to write by nojito on Thursday April 09, 2026 @06:36AM (#47701836)

Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?

[ Parent | on HN ]