Status
当前正式版本是 Norm 0.24。本页只描述当前工具链,长期语言规则见 Language Reference,逐版本交付记录见版本索引。
成熟度标记
| 标记 | 含义 |
|---|
| Stable | 已进入当前发布契约并有自动化验收 |
| Experimental | 已实现,但公开形状仍可能调整 |
| Internal | 工具链内部使用,尚未承诺公共入口 |
| Planned | 设计或方向已经记录,当前不可使用 |
Language
| 能力 | 状态 | 事实入口 |
|---|
| Class、Value、Interface | Stable | 对象模型 |
| 数据 Enum 与穷尽 Switch | Stable | Enum 与 Switch |
Nullable、?.、?? 与控制流收窄 | Stable | 类型系统 |
| 泛型类型、函数、方法与双向推断 | Stable | 类型推断 |
| Lambda、函数值与声明引用 | Stable | 函数高级规则 |
| Extension function | Stable | 函数参考 |
ref<T> 与词法生命周期 | Stable | 引用参考 |
Class<T> 与类型化声明引用 | Stable | 声明引用与反射 |
Annotation、@Document 与类型化拦截器 | Stable | Annotation 规范 |
| Package、Module 与跨文件可见性 | Stable | 模块系统 |
| 类型化字符串插值 | Stable | 字面量 |
在值位置使用带 break value 和 else 的 for | Planned | 循环设计;当前解析器拒绝 Integer result = for ... |
// 与 /* */ 源码注释 | Planned | 当前 Lexer 将标记解析为运算符 token |
Standard Library
| 范围 | 状态 |
|---|
| Core 类型、集合、Unicode 文本、Math、Time | Stable |
| 流式 I/O、文件系统与资源生命周期 | Stable |
| HTTP client | Stable |
| 命令行解析、应用运行环境、标准流与子进程 | Experimental |
| JSON、XML、YAML 与统一结构映射 | Stable |
| Validation 与 Testing | Stable |
| 自动映射 value | Stable |
| 自动映射 class identity、对象图、循环引用和多态 | Planned |
| HTTP server | Planned |
已交付模块见标准库概览,公开入口以标准库源码和验收程序为准。
| 能力 | 状态 |
|---|
| 自带 Java runtime 的 CLI 与 JVM 开发入口 | Stable |
| Formatter、诊断、补全、Signature Help、Hover | Stable |
| 跳转定义、查找引用、Prepare Rename、Rename | Stable |
| 标准库只读源码导航 | Stable |
| 官方 VS Code VSIX | Stable |
| 调试器 | Planned |
| 在线 Playground | Planned |
已知边界
- 自动序列化当前只处理
value; private 是源文件级边界;- 泛型参数保持 invariant,不支持 raw type;
- ref 不能进入字段、容器、泛型实参、返回类型或 Lambda 捕获;
- 当前没有 HTTP server、调试器或在线执行环境。
采用决策应以最新版本实现契约和实际验收程序为准。