Show HN: The Kio Programming Language

Category: devtools

Tags: programming-language, compiler, type-theory, transpiler, embeddable

Score: 7.5/10 (Innovation: 8, Technical: 9, Documentation: 8, Utility: 5)

Kio is an embeddable, transpiled programming language based on polymorphic lambda calculus with higher-kinded types, compiling to eight host languages. It offers a sound, decidable type system, user-defined elaborators, and novel features like proven equivalence checks, aiming for ultra-portability in heterogeneous environments.

Target audience: language enthusiasts, compiler engineers, developers needing cross-language embedding

Repository: https://jdevuyst.github.io/kio/ · Rust · Apache-2.0 · 3 stars

View on Hacker News