Determinant 是一项早期实验，提出将可审计应用语言（AAL）作为概率性 AI 生成与可执行软件之间的确定性层。该系统允许 LLM 从自然语言需求生成 AAL，随后由人类审查业务逻辑的正确性，再由传统编译器生成 TypeScript 代码。

  • AAL 聚焦于两个核心概念：对象（描述应用状态）和流（描述行为），避免类或方法等实现细节。
  • 编译流程将已接受的 AAL 转换为 AST，执行语义检查和绑定，并输出用于 Node.js 的确定性 TypeScript，无需 LLM 进一步参与。
  • 当前功能包括类型化字段、条件、显式失败、计算、状态变更、流组合、货币类型，以及对英语和中文方言的支持。
  • 该项目旨在通过让人类审计更小的可执行描述而非审查数千行生成代码，来缩小 AI 不确定性的范围。

作者征求反馈，询问此审查边界在实际中是否实用，以及 AAL 在覆盖充分应用行为的同时能否保持可读性。