Vera – A language designed for machines to write

Vera – A language designed for machines to write(veralang.dev)

14 points by joecobb 79 days ago | 3 comments

nojito 78 days ago |

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

hyperhello 79 days ago |

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

3836293648 78 days ago | |

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