Squeak 和 Esterel 的其他现代免费类似物还有哪些？
很久以前，Rob Pike 和 Luca Cardelli 写了一篇论文，名为“Squeak：一种与老鼠交流的语言”。它基于 Hoare 的通信顺序进程，但它被编译为单线程 C 代码 - 运行时没有线程或调度程序。然而，我找不到 Squeak 的编译器，Rob Pike 继续编写了 newsqueak，它确实在运行时有一个不确定的调度程序，所以这不是我想要的。
Esterel 也是一种对并发有很多支持的语言，可以编译成单线程 C 代码 - 但 Esterel Technologies 以如此高的价格出售 SCADE Studio，他们甚至不会说他们的 网页。
Columbia Esterel 编译器可用。是否有其他现代语言将“多线程”算法编译为单线程的确定性输出？
谢谢。
A long time ago, Rob Pike and Luca Cardelli wrote a paper called "Squeak: a language for communicating with mice". It was based on Hoare's communicating sequential processes, but it was compiled into single-threaded C code - no threads or scheduler at runtime. However, I can't find a compiler for Squeak, and Rob Pike went on to write newsqueak, which does have a nondeterministic scheduler at runtime, and so isn't what I want.
Esterel is also a language with a lot of support for concurrency, which can be compiled into single-threaded C code - but Esterel Technologies sells SCADE Studio for so much money, they won't even say how much it costs on their web page.
The Columbia Esterel Compiler is available. Are there other modern languages that compile "multi-threaded" algorithms into single-threaded, deterministic output?
Thanks.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
我不太确定你在问什么。您是否正在寻找具有确定性并发模型的编程语言？
如果是这样，典型的例子就是基于分布式 Oz 编程语言的 Mozart 编程系统。
I'm not quite sure what you are asking. Are you looking for programming languages with deterministic concurrency models?
If so, the canonical example would be the Mozart Programming System, based on the Distributed Oz Programming Language.
Esterel 的另一个实现称为 Lustre，可根据请求在 http 上获取： //www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib
它要求签名许可证，但我刚刚给 Pascal Raymond 发了电子邮件，他给我发送了下载源代码的链接。
它可以工作，但需要一点耐心来设置它。考虑制作一个 Automake 脚本来完成这项工作。
Another implementation of Esterel, called Lustre is available upon request at http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib
It asks for a signed license, but I just e-mailed Pascal Raymond and he sent me link to download the source code.
It works, but it takes a little patience getting it set up. Thinking about making an Automake script to do the job.
为什么不尝试信号语言，它属于同步语言家族？
Why not try signal language, that belongs to Synchronous languages family ?