Rethinking Database Programming

Acadia 探讨把查询、事务、应用逻辑和类型约束放进统一编程模型，减少 SQL、ORM 与宿主语言之间重复翻译。这样编译器或运行时能跨边界检查业务不变量并寻找优化机会。方案是否成立，关键在于统一抽象仍能保留数据库的声明式规划能力，而不是把远程状态伪装成本地对象。