- Author
- Posted by alabhyajindal, with replies from many commenters
- Published
- 23 October 2025
- Kind
- Hacker News discussion thread
- Original
- news.ycombinator.com/item?id=45678632
- Subject
- Programming languages and types
What it is
Alabhyajindal posted the link and many users replied. The linked site is titled The Programming Languages Zoo. The poster says the concise implementations are the reason for sharing it.
What it says
- The poster shared it for the concise implementations. The poster guesses OCaml and generators help.
- Commenter muxl quotes a blog post on tradeoffs between incompatible language features.
- Commenter mpweiher says Objective-S accommodates many paradigms using a metaobject protocol.
- Commenter JoelMcCracken disputes calling languages a UI problem and says semantics are fundamental.
- Commenter sestep, an academic, says the PL and HCI views are both needed.
- Commenter ojkelly lists traits for an agent-friendly language, such as one obvious way.
- Commenter kibwen laments there is no little language demonstrating linear types, and another names Austral.
What evidence it gives
The thread offers opinion, quoted writing and links. It has no code or measurements of its own.
Interests and limits
The linked site was not opened for this page. Only the thread was read. The discussion drifts far from the site, and its claims are unverified opinion.