promise

Promise是一种为AI代理效率设计的静态类型编程语言——并且由AI代理编写。它具有显式所有权（受Rust启发）、goroutine风格并发（受Go启发）、代数错误处理、泛型和穷尽模式匹配，且没有隐藏副作用。 **关键特性：** - 所有权与借用：`&`（共享）、`~`（可变）和`*`（原始指针） - 通过`!`、`?^`、`?!`和模式匹配处理器进行代数错误处理 - 带类型约束的泛型 - 带数据的枚举和穷尽模式匹配 - 字符串插值和goroutine风格并发（`go expr`返回`Task[T]`） - 使用`yield`和`yield*`的生成器 - 用于声明性元数据的元注解 - 无宏或条件编译——所有代码完全可见 **单版本目录：** 生态系统以原子“纪元”版本发布（例如`2026.0`）。没有按包版本或锁文件。每个模块作为一个单元一起测试。 **已实现的标准库模块：** `io`、`json`、`os`、`net`、`tls`、`path`、`math`、`strings`、`time`、`http`、`gzip`、`crypto`、`encoding`。计划中：`ai`、`auth`、`cloud`、`markdown`、`mcp`、`msgpack`、`sandbox`、`schema`、`term`、`toml`、`yaml`。 **自包含工具链：** 编译器是单个二进制文件（约15MB），捆绑了标准库、目录模块和运行时。它在`~/.promise`下设置自己的LLVM 22工具链。 **原生LLVM编译**目标为Linux、macOS、Windows和WASM。 **用法：** promise build file.pr # 编译为可执行文件 promise run file.pr # 编译并运行 promise exec 'code' # 内联执行 promise test file.pr # 运行测试 promise check file.pr # 仅类型检查 **从源代码构建**需要Go 1.22+、Java（用于ANTLR4）、clang和LLVM 22+。 Promise使用有界自主软件工程（BASE）方法论构建，该方法论中人类定义持久意图和质量门，而AI代理负责实现。截至2026年8月，该项目在编译器和语言方面包含18,869个测试。 **状态：** 积极开发中，不用于生产。编译器端到端可用，但可能存在粗糙边缘和崩溃。 **许可证：** Apache-2.0或MIT。