# Catala

10 Hacker News commenters recommended Catala and 1 criticized it, November 2025 to November 2026. It was recommended in 4 of 13 months. It meets the Hacker Approved badge rule.

**Verdict:** Turns law into formal, verifiable code that people praise for bringing computer science and law together. Critics worry it concentrates power in the legislature.

## Why people recommend it

- Bridges computer science and law (2 comments): "Catala is a fantastic project and a real attempt to bring computer science and law together." ([source](https://news.ycombinator.com/item?id=46178916)) "the french also are at the frontier of law-computing i'd say see Catala Lang" ([source](https://news.ycombinator.com/item?id=49102065))
- Formal logic that can be proven (2 comments): "having a formal language that encodes that logic seems useful" ([source](https://news.ycombinator.com/item?id=46179579)) "It's formally proved too!" ([source](https://news.ycombinator.com/item?id=47555022))
- Clearer than legalese or node diagrams (2 comments): "I wish all law was written like this instead of the purposefully obfuscated legalise" ([source](https://news.ycombinator.com/item?id=47561484)) "I find that easier to read than giant graph of node thingies with lines" ([source](https://news.ycombinator.com/item?id=49103761))
- Seen as interesting, needed widely (2 comments): "Thank you, https://catala-lang.org/ looks very interesting." ([source](https://news.ycombinator.com/item?id=45988013)) "We really need this in India." ([source](https://news.ycombinator.com/item?id=46178870))

## What people warn about

- Concentrates power in the legislature (1 comments): "A technology like this necessarily concentrates power in the legislature, and takes it away from the judicial system." ([source](https://news.ycombinator.com/item?id=46178933))
- Risky to draw conclusions from it (1 comments): "it can be dangerous to draw conclusions from systems like this one" ([source](https://news.ycombinator.com/item?id=46179013))

## Alternatives hackers recommend

- [Rust](https://hackerapproved.com/p/rust.md): 2039 recommend
- [Go](https://hackerapproved.com/p/go-programming-language.md): 1254 recommend
- [Python](https://hackerapproved.com/p/python.md): 1067 recommend
- [Zig](https://hackerapproved.com/p/zig.md): 743 recommend
- [TypeScript](https://hackerapproved.com/p/typescript.md): 574 recommend

## Cite as

Hacker Approved, "Catala", https://hackerapproved.com/p/catala/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).