λλ：硅光子学编程语言

【HN用户评论摘要】 λλ 的完整语法（来自论文）： e ::= v | x|输入（p） |设 x = e1 in e2 | （e1，e2） |将 e1 解包为 e2 中的 (x1, x2) |相位(θ, e) |分割（r，e） |酉(U, (e1, e2)) |输出(p) <- e1; e2 v ::= r ↓ ℝ | p ↓ 端口 | U ↓ 酉 | () τ ::= ℝ |港口|选择 |单一|单位 |(τ1 * τ2) 第二个 λ 带下标。正如论文脚注 1 所说：> 发音为“lambda lambda”。一个 λ 指的是 λ 演算，另一个指的是光波长。 原始链接：https://dl.acm.org/doi/10.1145/3789240.3829151