语言规范
从语法，
到语义。
类型如何约束值，计算何时求值，副作用在哪里发生。在这里阅读 Jvav 的精确定义、示例与待定问题。
工作草案
Jvav 规范草案。
当前工作草案说明值、纯计算、访问能力、transition、defer 与上下文依赖的语义。
从关心的部分开始。
以下链接会打开 PDF 中的对应章节。
草案，也把未知写清楚。
尚未确定的生命周期、捕获、所有权与 transition 有效性等规则标为 Pending。成员函数 const / auto 模型的完整规则尚未纳入当前版本；多目标编译仍是开发方向。
查看语言设计第一次接触 Jvav？
先从几个函数与计算示例开始，了解语言的基本写法。
开始语言导览