# Shen

5 Hacker News commenters recommended Shen and 3 criticized it, November 2025 to November 2026. It was recommended in 5 of 13 months.

**Verdict:** Recommended for its portable kernel and highly expressive, programmable type system. Critics say there are few examples or documentation and it is tedious to work with.

## Why people recommend it

- Portable to many runtimes (2 comments): "Combination of sequent calculus and prolog in a highly portable lightweight kernel that is easy to port to many runtimes" ([source](https://news.ycombinator.com/item?id=48279582)) "Shen is extremely portable and has been ported to a lot of different target runtimes" ([source](https://news.ycombinator.com/item?id=48227813))
- Expressive, programmable type system (4 comments): "it's sequent calculus and unique type system (type system itself is Turing complete) give you a lot of flexibility here" ([source](https://news.ycombinator.com/item?id=48213205)) "it is far more flexible and expressive than what people think of as a "type system"" ([source](https://news.ycombinator.com/item?id=48214109)) "It's type system itself is Turing complete and very flexible / expressive." ([source](https://news.ycombinator.com/item?id=48213367))
- Sequent calculus and Prolog-style kernel (2 comments): "Combination of sequent calculus and prolog in a highly portable lightweight kernel that is easy to port to many runtimes" ([source](https://news.ycombinator.com/item?id=48279582)) "it's sequent calculus and unique type system (type system itself is Turing complete) give you a lot of flexibility here" ([source](https://news.ycombinator.com/item?id=48213205))

## What people warn about

- Few examples or usage shown (2 comments): "But not a single example of actually using the language to do anything." ([source](https://news.ycombinator.com/item?id=46299623)) "I can’t find a single example of the language on its website." ([source](https://news.ycombinator.com/item?id=46294619))
- Drama and self-inflicted problems (2 comments): "Looking forward to someone picking up a project with the same goals as Shen without the drama." ([source](https://news.ycombinator.com/item?id=46271768)) "In so many ways, Shen is its own worst enemy." ([source](https://news.ycombinator.com/item?id=46269841))

## 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, "Shen", https://hackerapproved.com/p/shen-programming-language/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).