The Kio Programming Language
This is 1 of 52 launches in coding agents and developer utilities — see how it stacks up on momentum and crowding →
26 other launches read as similar to this one →
Details
- External ID
- 49920582
- Source
- HN
- Company
- —
- Product
- Gojju, a Fun Programming Language
- Website domain
- github.io
- Launched
- Oct. 1, 2026
- Cohort
- —
- Upvotes
- 5
- Upvotes percentile
- 0.07142857142857142
- Tags
- —
- Fetched at
- Oct. 1, 2026, 5:01 p.m.
- Updated at
- Oct. 1, 2026, 5:01 p.m.
Description
Kio is a statically typed, hosted language that is designed to be ultra-portable. Kio 0.1 supports eight host languages and more will be added in the coming weeks.Kio is based on polymorphic lambda calculus with higher-kinded types. Kio has type-driven macros (elaborators) and it can statically check asserted equivalences using a normalizer.Kio is a minimalistic language. It doesn't have built-in effectful functions and it doesn't even have built-in string or numeric types. Instead programs declare the capabilities they need and the host supplies them.The language is designed with AI, which is bound to raise some eyebrows, so I blogged about that here: https://jdevuyst.github.io/kio/blog/2026-10-01-introducing-k...
Enrichment
- Theme
- coding agents and developer utilities
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- programming language for software developers
- Manually corrected
- False
Could you build this?
No Creating a novel statically typed programming language with polymorphic lambda calculus, higher-kinded types, macro elaborators, and multi-language transpilation requires deep, specialized compiler engineering and type theory expertise.
What it would actually take: Building a language like Kio requires implementing a formal type checker based on higher-order typed lambda calculi, an AST elaboration engine for macros, and multiple code-generation backends emitting idiomatic code for 8 different host languages. The stack typically involves OCaml, Haskell, or Rust using formal parser generators and intermediate representations (IR). It requires advanced PhD-level expertise in programming language theory, static analysis, and multi-target compiler backends.
Discussion
No comments on this launch.
Competitors
Other products that read as similar to this one — 26 launches clear the similarity bar, closest 8 shown.
Attention rank: #27 of 27 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 302 days after the earliest competitor.
- Kival · hn · 2026-09-16 · 5 upvotes · similarity 0.42
- Han · hn · 2026-03-14 · 208 upvotes · similarity 0.41
- Kiword, Voice-to-text, translation · ph · 2026-09-22 · 1 upvotes · similarity 0.39
- Fuse · hn · 2026-08-02 · 121 upvotes · similarity 0.38
- AttaLambda: a language where types and data are made of untyped lambdas · hn · 2026-09-14 · 44 upvotes · similarity 0.38
- The Taka Programming Language · hn · 2025-12-03 · 12 upvotes · similarity 0.36
- kilo-code-dev.github.io · github · 2026-09-21 · 11 upvotes · similarity 0.36
- AttaLambda · ph · 2026-09-16 · 2 upvotes · similarity 0.34
Other launches for this product
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.