λλ：为硅光子打造的编程语言

λλ: A Programming Language for Silicon Photonics

硅光子技术正面临编程门槛高的挑战，Cornell University团队推出的λλ语言为此提供了解决方案。该语言利用线性类型系统，在编译阶段就能直接编码光学的物理约束，自动拒绝无法实现的程序。编译器将代码转化为图表示，并解决复杂的嵌入问题，从而将程序映射到任意硅光子开关目标上，同时最小化信号损耗。团队在商用光开关上验证了λλ，成功实现了电路交换、时变转子交换及网络内模拟计算。此外，他们还开发了合成器，让用户无需理解底层光学原语即可通过高层规范自动生成程序，让硅光子硬件的编程变得前所未有的简单。