Show HN: The Kio Programming Language
4 days ago
- Kio is a statically typed, embeddable programming language; one package can be transpiled to or dynamically loaded in 8 host languages.
- It emits idiomatic code in the host language with no separate runtime, no ambient runtime, and no hidden I/O.
- Kio packages are hosted components: the host supplies capabilities and decides which exposed entries to call.
- Host interfaces are statically typed contracts, versioned by `kio sig` and checked at compile time.
- The language has a small core with library-defined control structures, structural products/sums, UFCS, user-defined operators, and compile-time proving of equivalence.
- The core guarantees sound, decidable type checking, strong normalization, and open-world compilation.
- Tooling includes fast parallel builds, clear diagnostics, an LSP, tree-sitter grammar, a VS Code extension, and an in-browser REPL.
- Kio supports JavaScript, Python, Rust, and more as host languages, with a one-line install script.