任何语言中的直观并发编程
Intuitive concurrent programming in any language

原始链接: https://www.lf-lang.org/

Lingua Franca 是一种面向反应器的协调语言,用于组合反应式组件。它通过构造防止竞态条件,支持精确的定时行为,并避免手动同步。例如,它可以强制石头剪刀布中的同时出招,并检测无效的因果循环。它不是完整的编程语言;开发者继续使用 C、C++、Python、TypeScript 或 Rust 编写反应器逻辑,而 Lingua Franca 负责协调。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 任何语言中的直观并发编程 ( lf-lang.org ) 13 分 由 mpweiher 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
相关文章

原文

A New Programming Paradigm

Lingua Franca is the first reactor-oriented coordination language. It allows you to specify reactive components and compose them. Lingua Franca eliminates race conditions by construction, makes it easy to specify timed behavior, and removes the need to perform manual synchronization.

Consider a game of "rock paper scissors" where two players need to reveal their choice simultaneously. In Lingua Franca, "at the same time" has a clear and precise meaning. This makes the implementation simple and intuitive, and guarantees it to be fair. If the Player class were to observe the other's choice before revealing its own, Lingua Franca's causality analysis would find a causality loop and tell you that the program is invalid.

Not a New Programming Language

With Lingua Franca, you forget about thread libraries or message passing middlewares, but you continue using the languages you like. The bodies of reactive code that make up the functionality of reactors are written in the programming language of your choice. We currently support C, C++, Python, TypeScript, and Rust.
联系我们 contact @ memedata.com