哪里可以获得Lagoona编译器和规范？

Question

Lagoona编程语言应该根据：this article自然而完全地支持面向组件的编程（和DbC），并在.Net中实现;但我没有找到编译器，规范和代码示例。有谁知道在哪里/如何获得任何/所有这些（编译器，规范或代码示例）？

Answer 1

我找到了.Net实现，它的名为 Lava ，并且有一个名为 LavaPE 的“编程环境”;两者齐头并进，LavaPE是熔岩的代名词;这就是杰夫阿特伍德在未来的语言中所说的article中所说的。我想知道它是否会成为主流，也许十年后，我们会看到。