凯瑟尔 特征 词法可能不正常 重写解析器 LLVM IR的代码生成可能无法正常工作 编译成一些怪异的Katsel IR 编译为目标代码 使用LLVM优化代码 功能 表达方式 变数 更好的错误信息 型铸 图灵完整性 函数重载 改名 数组 更多类型 控制流 指针 具有非常安全的指针和严格的所有权范围规则和内容的自动内存管理（％= uptr，＃= sptr，* = rptr，也许＆= ref） 全局变量 显式名称空间 班级 范本 常量变量 标准库 功