E 语言文档

为人类与 AI 编写者提供的权威参考 · 契约基线 e_contract_v0 · 更新于 2026-09-05

1.E 是什么 稳定¶

E 是一门 LLM 专用语言（AI-Native Language for LLM）：确定性骨架由编译器 100% 掌控，语义实现由 LLM 只填空函数体。它被设计为 EOS 操作系统的系统语言，目标是在 Linux 上先完全替换 Python、再完全替换 C。

2.30 行快速上手 ¶

space<8> std {
  fn gcd(a: u64, b: u64) -> u64
}

fn std::gcd(a: u64, b: u64) -> u64 {
  // @augment: 欧几里得辗转相除法
}

fn main() -> i32 {
  x: u64 = 462
  y: u64 = 1071
  x | std::gcd(y) | assert_eq(21)
  return 0
}

这一个完整程序的五个部分：

1. space<8> — 声明 8 字节对齐的内存域
2. fn … -> — 函数签名（骨架，LLM 不可改）
3. @augment — LLM 填充指令，只作用于紧邻的空函数体
4. | — 管道：x | std::gcd(y) 等价于 std::gcd(x, y)
5. assert_eq(21) — 断言验收，期望 gcd(462,1071)=21

3.获取与安装 ¶

# 下载 Linux 发行包（真编译器 v1.0 · 2026-09-05实测链）
curl -O https://eoslang.com/elang_linux_dist.zip
unzip elang_linux_dist.zip && cd elang

# 编译并运行文档示例（ASan沙箱 + LLM语义填充）
./elangc examples_gcd.e -o demo --asan --run
# 输出: [E] x => 21  →  运行通过 rc=0

# 离线模式（纯骨架，无需任何API key）
./elangc examples_gcd.e -o demo2 --no-augment

4.词法结构 稳定¶

5.类型系统 稳定¶

6.声明与空间 ¶

6.1 space 内存域

space<N> 名字 { 函数签名… }   // N = 字节对齐(编译期校验)

space 是 E 的模块与内存契约单元：签名集合在其中声明，实现以 空间::函数 限定。

6.2 变量声明

x: u64 = 462          // 显式类型 + 初始化
sig: f64 = 0.35       // 浮点同样显式

变量声明必须显式类型（E 不做隐式推断——骨架确定性优先）。

7.函数 ¶

// 签名（域内声明；LLM 不可触碰）
space<8> math {
  fn fib(n: u64) -> u64
}

// 实现（域限定；函数体可留空交给 @augment，或由人类直接书写）
fn math::fib(n: u64) -> u64 {
  // @augment: 迭代版斐波那契, u64 中间量, 循环不递归
}

// main 约定
fn main() -> i32 {   // 返回 0 = 成功
  return 0
}

同一签名只能有一个实现；签名与实现的类型不一致在编译期直接拒绝（零容忍）。

8.管道操作符 | 稳定¶

管道是 E 的核心组合原语，从左向右读：

x | f(y)          ≡  f(x, y)
x | f(y) | g(z)  ≡  g(f(x, y), z)
data | load() | transform(n) | emit(out)

• 左值作为被调函数的第一个参数注入
• 建议嵌套不超过 3 层；更深时拆中间变量（Gatekeeper SEC-001 复杂度规则会拦截过长链）

9.@augment 指令 稳定¶

@augment 是 LLM 与 E 语言的唯一接口。铁律边界：

提示词写法（决定通过率）

// ❌ 模糊（拒绝率高）
// @augment: 求最大公约数

// ✅ 具体（算法 + 关键优化点 + 边界）
// @augment: 欧几里得辗转相除,位运算优化,全零边界返回0

10.断言验收 ¶

x | std::gcd(y) | assert_eq(21)

验收三重门（全部通过才判 ✅）：

1. GCC 编译（-O3 -Wall -lm，含 ASan 沙盒轮）
2. 3 轮运行（消除偶发通过）
3. 签名比对（输出签名与 goal 的 criteria 一致）

11.双轨编译器 ¶

.e 源码
  ↓ 轨道一：确定性骨架（词法/解析/类型契约/C发射）— 100% 确定性, 零 LLM
  ↓ 轨道二：LLM 语义增强（只填 @augment 空体, 失败自动重试降级）
  ↓ Gatekeeper v2 静态卡口（圈复杂度/递归深度/猴子补丁/裸算术）
  ↓ GCC + ASan 沙盒 → 三轮运行 + 签名比对
可执行文件 ✅

12.编译流水线状态 ¶

13.守门人 Gatekeeper v2 演进中¶

所有 .e 产物编译前必须通过的静态硬规则（SEC 池落地件）：

14.流形算子（语义空间层）¶

Ω = space<256>("Analytics Core")     // 开辟张量语义空间
s1 = Ω | create("系统初始化")         // 增：流形锚定
s2 = s1 | update("用户登录")          // 改：流形演化
sig = s2 | read()                     // 查：签名坍缩 Σ
s3 = s2 | delete()                    // 删：拓扑剪枝

15.std 标准组件 400/400 已铸¶

400 条标准库组件全部通过 GCC 三连验收，作为 E-VM 原语重写的行为规格参考（完整清单见 进度页）：

• 容器：vec / map / set / ring
• 算法：排序 / 搜索 / 图 / 大数（ALG 池 300/300 全清）
• 系统：文件 / 网络 / 时间 / 线程（过渡期经 C-FFI）

16.ETP 张量协议 施工中¶

ET01-02 已交付：64B 定长包头二进制线束（Magic|Opcode|Len|TensorPtr|CRC32）与 mmap 零拷贝张量沙盒（256MB 连续页，实测 15.5GB/s）。EPT 池 50 条规格攻坚中。

17.命名与风格 ¶

• 函数/变量：snake_case；空间：小写单词；语义空间实例可用 Ω
• 禁止 var1 / temp_a / data2 类无语义名（SEC-027 命名熵打分）
• 函数体建议 ≤ 40 行；单一职责（SEC-031 SRP 量化）

18.常见错误与规避 ¶

19.完整示例库 ¶

19.1 算法函数（池任务标准模板）

space<8> std {
  fn max_subarray(arr: &i64, n: u64) -> i64
}
fn std::max_subarray(arr: &i64, n: u64) -> i64 {
  // @augment: 卡丹算法,单扫O(N),全局/局部最大交替维护,全负数取最大元素
}

19.2 数据管线（语义算子流）

Ω = space<128>("Task Queue Stats")
s1 = Ω | create("队列初始化")
s2 = s1 | update("生产者入队 100")
sig = s2 | read()

19.3 生产接线（NE 原生替换模板）

space<8> poolstat {
  fn count_str(path: &str, needle: &str) -> i64
}
fn poolstat::count_str(path: &str, needle: &str) -> i64 {
  // @augment: 64KB缓冲流式读文件,memmem计数,防跨块漏匹配
}

20.规范演进 ¶

本页随语法演进同步更新，真源为仓库 elang_frontend/e_contract_v0.md 与 docs/E_LANG_GUIDE.md。