{"slug": "show-hn-the-kio-programming-language", "title": "Show HN: The Kio Programming Language", "summary": "Developer jdevuyst released Kio 0.1, a statically typed, hosted programming language designed for ultra-portability that supports eight host languages, with more planned in the coming weeks. Kio is based on polymorphic lambda calculus with higher-kinded types, offers type-driven macros called elaborators, and can statically check asserted equivalences using a normalizer. The minimalist language omits built-in effectful functions and even built-in string or numeric types, requiring programs to declare needed capabilities that the host supplies; the author said the language was designed with AI, addressing the topic in a blog post.", "body_md": "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.\n\nKio 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.\n\nKio 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.\n\nThe 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...](https://jdevuyst.github.io/kio/blog/2026-10-01-introducing-kio.html)\n\nComments URL: [https://news.ycombinator.com/item?id=49920582](https://news.ycombinator.com/item?id=49920582)\n\nPoints: 1\n\n# Comments: 0", "url": "https://wpnews.pro/news/show-hn-the-kio-programming-language", "canonical_source": "https://jdevuyst.github.io/kio/", "published_at": "2026-10-01 12:07:05+00:00", "updated_at": "2026-10-01 12:48:07.635294+00:00", "lang": "en", "topics": ["developer-tools"], "entities": ["Kio", "jdevuyst"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/show-hn-the-kio-programming-language", "markdown": "https://wpnews.pro/news/show-hn-the-kio-programming-language.md", "text": "https://wpnews.pro/news/show-hn-the-kio-programming-language.txt", "jsonld": "https://wpnews.pro/news/show-hn-the-kio-programming-language.jsonld"}}