```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 λλ：一种用于硅光子学的编程语言 (acm.org) 8 点，由 matt_d 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 deepsun 3 分钟前 | 下一条 [-] λλ 的完整语法（摘自论文）： e ::= v | x | input(p) | let x = e1 in e2 | (e1, e2) | unpack e1 as (x1, x2) in e2 | phase(θ, e) | split(θ, e) | unitary(U, (e1, e2)) | output(p) <- e1; e2 v ::= r ↓ ℝ | p ↓ Port | U ↓ Unitary | () τ ::= ℝ | Port | Opt | Unitary | Unit | (τ1 * τ2) 回复 tromp 8 分钟前 | 上一条 [-] 第二个 λ 是下标。正如论文脚注 1 所述： > 发音为“lambda lambda”。其中一个 λ 指代 λ 演算，另一个 λ 指代光波长。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索： ```