Nola

Nola 将 LLM 推理声明为 TypeScript 超集的语言能力，尝试让模型调用的输入输出进入类型检查流程。若类型系统能约束生成步骤，应用代码可在编译阶段暴露部分提示词与数据契约错误，落地关键在于语法和运行时契约是否稳定。