Omega：为已验证程序而构建的编程语言

摘要

Omega 是一种为可验证程序设计的编程语言。代码由其含义标识，而非文本：语义身份绑定展开并归一化的语义对象，因此相同含义始终解析为相同身份，与表面语法无关。

每个依赖关系都携带证据。检查、构建、验证和封存生命周期将未封存的开发工作保留在工作区中，而只有基于收据的工件才能进入驻留执行路径。外部代码在可弃用、无能力的本地工作进程验证之前始终为数据；通过隔离验证的外部代码在生产环境中仍保持隔离。

设计提案；并非已实现的语言。

研究资料

引用

@misc{stapleton2026omega,
  author = {M. Drake Stapleton},
  title = {Omega: A Programming Language Built
           for Verified Programs},
  year = {2026},
  month = {October},
  note = {Language design proposal, not peer reviewed},
  url = {https://aienos.com/research/omega-language}
}