同時に動くプログラムの振る舞いを毎回同じにする調整言語Lingua Franca(lf-lang.org)

- Lingua Franceaは、複数の作業が同時に動くプログラムを作る際に、スレッド管理、ロック、メッセージ受け渡しといった細かいコードを直接扱わずに済むよう助ける調整言語である。原文は、スレッドやアクター方式よりも動作が再現しやすいと主張している。 - 原文によると、プログラムはリアクターと呼ばれる構成単位に分け、互いに接続して作る。例として、じゃんけんの二人のプレイヤーが同じ瞬間に手を出すように接続した構造が挙げられている。 - 原文の主張では、一方が相手の選択を見てから自分の選択を決めるように、原因と結果が互いを待つ循環が生じると、言語の解析ツールがそれを見つけ、プログラムが誤っていると知らせるという。 - 原文によると、反応コードはC、C++、Python、TypeScript、Rustから選んだ言語で書く。言語はUC Berkeleyで始まり、Kiel UniversityやTU Dresdenなど複数の大学の研究者が参加して発展したと原文は述べている。