Schema 直接表达业务状态
record、sum、option、list、tuple 与有限递归类型都有稳定身份、默认值、约束和迁移语义。
安装 unionid,生成独立项目,然后完成 migration、seed、query、重开、检查与 backup/restore:
cargo install unionid --locked
unionid init tasks
cd tasks
unionid project check --dir .
unionid migration apply --db data/tasks.redb --dir migrations
unionid run --db data/tasks.redb --file seed.unid
unionid run --db data/tasks.redb --file queries/list_running.unid这套文档按使用者真实决策组织:先运行,再建模和查询,然后选择接入方式,最后进入生产运维与兼容性参考。