從哪裏獲得Lagoona編譯器和規範？

Question

Lagoona編程語言應該自然並完全支持面向組件的編程（和DbC）：this article並且在.Net中實現;但是我沒有找到它的編譯器，規範和代碼示例。有誰知道在哪裏/如何獲得任何/所有這些（編譯器，規範或代碼示例）？

Answer 1

我發現.NET實現，其名爲熔岩，有一個「編程環境」它叫LavaPE;兩者結伴而行，LavaPE就是Lava的代名詞;這是傑夫阿特伍德在這個article中所說的未來語言會發生的事情。我想知道它是否會成爲主流，也許十年後，我們會看到。