Squeak 和 Esterel 的其他现代免费类似物是什么？答案

【问题标题】：What are other modern, free analogs of Squeak and Esterel?Squeak 和 Esterel 的其他现代免费类似物是什么？
【发布时间】：2010-12-06 17:13:18
【问题描述】：

很久以前，Rob Pike 和 Luca Cardelli 写了一个paper，名为“Squeak：一种与老鼠交流的语言”。它基于 Hoare 的通信顺序进程，但它被编译成单线程 C 代码——运行时没有线程或调度程序。但是，我找不到 Squeak 的编译器，Rob Pike 继续写了 newsqueak，它在运行时确实有一个不确定的调度程序，所以不是我想要的。

Esterel 也是一种支持大量并发的语言，可以编译成单线程 C 代码 - 但 Esterel Technologies 以如此高的价格出售 SCADE Studio，他们甚至不会说他们的成本是多少web page.

Columbia Esterel 编译器是available。是否有其他现代语言可以将“多线程”算法编译成单线程的确定性输出？

谢谢。

【问题讨论】：

标签： c concurrency embedded squeak

【解决方案1】：

为什么不试试属于Synchronous languages家族的signal language？

【讨论】：

【解决方案2】：

另一种 Esterel 实现，称为 Lustre，可通过 http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib 索取。

它要求一个签名的许可证，但我只是给 Pascal Raymond 发了电子邮件，他给我发了下载源代码的链接。

它可以工作，但设置它需要一点耐心。正在考虑制作一个 Automake 脚本来完成这项工作。

【讨论】：

【解决方案3】：

我不太确定你在问什么。您是否正在寻找具有确定性并发模型的编程语言？

如果是这样，规范示例将是基于分布式 Oz 编程语言的 Mozart Programming System。

【讨论】：