The Kio Programming Language

About The Kio Programming Language

An ultra-portable, embeddable programming language that compiles to host languages.

In the maker’s words

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

Where people found it

• Hacker NewsShow HN: The Kio Programming Language5 points0 comments3 days ago
• Hacker NewsLive demo for Termcat, the illegitimate lovechild of Markdown and LaTeX1 points0 comments2014-02-26
• Hacker NewsShow HN: The Termcat Markup Language1 points1 comments2013-12-23