Lingua Franca：一门只负责协调的并发语言

📋 概述

Lingua Franca 是加州大学伯克利分校起源、后来基尔大学与德累斯顿工业大学加入共建的协调语言（coordination language），目标很明确：让多线程、分布式、对时间敏感的程序默认就是确定性的。它不发明新的编程语言，而是让你继续用 C、C++、Python、TypeScript、Rust 写反应式组件（reactor）的函数体，只把「谁在什么时候和谁通信」这件事交给 LF 的语法与编译器。每个 reactor 有输入输出端口，实例通过端口连接组网，调度顺序由语言的因果分析决定，因此线程管理、显式同步、竞态条件在构造上就不存在。更关键的是时间被做进了语言核心：同时发生（同一逻辑时刻）有精确含义，所以「石头剪刀布」里两位玩家必须同时亮出手势这种需求，在 LF 里是一行连接而不是一堆锁加超时。如果 A 在亮出自己选择前就观察对方的，因果分析会直接判定程序非法并报出因果环。配套支持把单机程序几乎不改代码地扩成分布式部署。