关于
什么是 Kinal？
Kinal 是一门现代通用编程语言，旨在将高级语言的可读性与系统编程的强大控制力结合在一起。
核心理念
大多数编程语言迫使你在舒适与控制之间做出选择。C# 和 Java 提供干净的语法和丰富的标准库，但在原生内存访问、FFI 和运行时层面的工作中会遇到瓶颈。另一方面，C、C++ 和 Rust 给你完全的硬件控制，但代价是复杂性和可读性。
Kinal 的目标是弥合这一鸿沟。它提供统一的语言模型，无论你编写应用、库、操作系统模块还是图形引擎，代码都保持可读。
核心特性
LLVM 编译
Kinal 通过 LLVM 编译为原生代码，为 Windows、Linux 和 macOS 生成优化二进制文件。
VM 执行
内置虚拟机支持快速开发周期。无需等待完整编译即可立即运行代码。
外部函数接口
使用内置的 FFI 系统直接从 Kinal 代码调用 C 库。无需包装生成器或绑定文件。
元数据与反射
使用自定义元数据注解类型和成员。在编译期和运行时访问特性信息。
丰富的标准库
IO、网络、文件系统、文本处理、时间、Web 服务器 — 内置模块覆盖真实需求。
跨平台
一次编写，到处编译。Kinal 以一致的行为和原生性能面向 Windows、Linux 和 macOS。
Kinal 适用于谁？
Kinal 为以下开发者设计：
- 希望一门可读且高效的语言，不牺牲底层能力
- 需要原生性能，但不想承担手动内存管理的认知负担
- 构建编译器、工具、库或运行时系统，希望只用一门语言
- 将FFI 和系统交互视为一等特性而非逃生舱口
- 偏好受 C#、Java 和现代命令式语言影响的熟悉语法
真实使用案例
Kinal 不仅仅是用于学术研究的玩具语言，它已经在构建真实系统：
- Kinal 本身 — 标准库和 KinalVM 已经由 Kinal 编写，但核心编译器目前仍使用 C 语言编写
- kinal.org — 此网站完全由 Kinal 使用内置 Web 服务器实现
- Kinal-OS — 用 Kinal 编写的操作系统内核
- KNGL — 用 Kinal 构建的图形引擎