Show HN: The Kio Programming Language
4 days ago
- Kio是一种静态类型、可嵌入的编程语言；一个包可以转译到或在8种宿主语言中动态加载。
- 它生成地道的主机语言代码，无需独立的运行时、无环境依赖，也无隐藏的输入输出操作。
- Kio包是宿主组件：宿主提供能力并决定调用哪些暴露的入口。
- 宿主接口是静态类型合约，通过`kio sig`进行版本管理，并在编译时检查。
- 该语言拥有带库定义控制结构的小核心，支持结构积/和、UFCS、用户定义运算符以及编译时等价性证明。
- 核心保证可靠、可判定的类型检查，强归一化及开放世界编译。
- 工具包括快速并行构建、清晰的诊断提示、LSP、树形语法解析器、VS Code扩展和浏览器内REPL。
- Kio支持JavaScript、Python、Rust等作为宿主语言，并提供一键安装脚本。