Kinal Logo
Kinal 更干净的语法,更直接的原生控制

Why Kinal

Kinal 的诞生,来自对现有语言取舍方式的不满足。

Kinal 是一门支持 LLVM 编译和虚拟机执行的现代编程语言,提供 FFI、原生控制和跨平台能力。

Rust 和 C++ 足够强,但语法负担重、学习成本也高。Zig 更直接,却又容易给人偏脚本化的感觉。 C 的能力不够完整,C# 和 Java 的语法、特性和标准库更舒服,却缺少真正的底层控制、原生交互和 FFI。 Kinal 想解决的,就是这条断层。

READABLE

它想保留高级语言那种更干净、更稳定、更容易进入状态的书写体验。

CAPABLE

同时又不把原生交互、运行时能力、元数据和 FFI 赶到语言外面去。

UNIFIED

目标是一门语言同时覆盖工具、库、运行时和后端,而不是优雅和控制力只能二选一。

kinal-demo.kn 只读

                
playground.kinal
示例

                        
                        
                    
输出 就绪
点击运行来执行示例,或者先编辑代码。

Design Goal

把高级语言的可读性和底层能力放进同一门语言里。

Kinal 不想只做“更安全的底层语言”,也不想只做“更舒服的业务语言”。 它要的是可读的语法、顺手的标准库、面向对象结构、元数据能力,以及直接面向运行时和原生 API 的能力,同时存在于一套统一的系统里。

语法要稳

即使代码已经靠近运行时,语法也不应该立刻变得难学、难写、难读。

特性要真正有用

属性、元数据、代码块对象、OOP 和标准库,不是为了好看,而是为了让真实项目更顺手。

底层能力不能缺席

FFI 和运行时接口应该是语言的一部分,而不是写到关键位置就被迫切换到另一门语言。

Kinal.org 此站点的服务完全由 Kinal 自身进行编写。 @YiYi GitHub