Schema 与数据

ASUN 最重要的思想是：Schema 只描述一次结构，数据 只负责按顺序给值。

分离方式

Schema：

{name@str, age@int, active@bool}

数据：

(Alice, 30, true)

合起来：

{name@str, age@int, active@bool}:(Alice, 30, true)

如果是列表，Schema 写一次，后面跟多条元组：

[{name@str, age@int}]:
  (Alice, 30),
  (Bob,   25)

Schema 规则

每个字段都使用 @ 作为字段绑定符。对基本类型字段，可写成：

name
name@type

当前允许的基本类型提示名只有：

• int
• float
• str
• bool

复杂字段则使用同一个 @ 作为必需的结构绑定：

• @{...} 嵌套结构体
• @[type] 数组
• @[{...}] 对象数组

例如：

{profile@{id@int, name@str}}
{tags@[str]}
{attrs@[{key@str, value@str}]}

这意味着：

• name 与 name@str 的结构布局相同
• address@{...}、tags@[...] 这类复杂字段不能去掉 @，因为它负责把字段绑定到嵌套 schema

字段名

简单字段名可以直接写：

{id, name, active}

如果字段名包含空格、以数字开头、或包含语法字符，就必须加引号：

{"id uuid"@int, "65"@bool, "{}[]@\""@str}

数据规则

数据是位置型的，不是按 key 匹配。第一个值对应第一个字段，第二个值对应第二个字段，依此类推。

嵌套结构体的数据写成嵌套元组：

{address@{city@str, zip@str}}:((Berlin, 10115))

数组使用方括号：

{tags@[str]}:([rust, go, zig])

空槽表示 null / 缺失：

{id@int, score@float}:(1, )

ASUN 当前不做什么

当前 ASUN 文本格式不支持在数据区使用内联对象字面量：

{user@{id@int}}:({id: 1})   // 不是当前 ASUN

键值集合应建模为条目列表：

{attrs@[{key@str, value@str}]}:([(lang, zig), (tier, prod)])

语法概要

single   = schema ":" tuple
slice    = "[" schema "]" ":" rows
schema   = "{" fields "}"
field    = name ["@" type]
type     = "int" | "float" | "str" | "bool" | schema | "[" type "]"
rows     = tuple ("," tuple)*
tuple    = "(" values ")"
values   = value ("," value)*
value    = scalar | tuple | "[" values "]" | ""

完整的字符串、转义、空白与注释规则见 语法参考。