シリコンフォトニクス向けプログラミング言語「λλ」、10万素子の光スイッチをコンパイル
λλ: A Programming Language for Silicon Photonics
コーネル大学の研究者らは、シリコンフォトニクス向けの新しいプログラミング言語「λλ」を発表した。線形型システムを用いて光学の物理的制約をエンコードし、コンパイル時に実現不可能なプログラムを拒否する。コンパイラは型付きプログラムをグラフベースの中間表現に変換し、制約付き埋め込み問題を解いてシリコンフォトニックスイッチにマッピング、信号損失を最小化する。商用スイッチで検証し、回線交換、時変ロータ交換、アナログネットワーク内計算で正しい動作を確認。10万素子以上のスイッチと128入出力ペアのプログラムを処理でき、高レベル仕様から自動生成するシンセサイザも備える。
λλは線形型システムを用いて光学の物理的制約をエンコードし、コンパイル時に実現不可能なプログラムを拒否する。
HNでの議論
17- deepsun
λλの完全な構文（論文より）：
e ::= v | x | input(p)
| let x = e1 in e2
| (e1, e2)
| unpack e1 as (x1, x2) in e2
| phase(θ, e)
| split(r, e)
| unitary(U, (e1, e2))
| output(p) <- e1; e2
v ::= r ↓ ℝ | p ↓ Port | U ↓ Unitary | ()
τ ::= ℝ | Port | Opt | Unitary | Unit | (τ1 * τ2)
- tromp
2番目のλは下付き文字です。論文の脚注1にあるように：
> 「ラムダラムダ」と発音します。1つのλはλ計算を指し、もう1つは光の波長を指します。
- wigster
どうやって入力すらできない文字を検索すればいいんだ？
この分野の人たちは、いきなりギリシャ語モードに切り替えられるのか？