News for hackers. Stuff that matters.

A comment on Vera – A language designed for machines to write.

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 ]