根据this article,Lagoona编程语言应该自然地、完全地支持面向组件的编程(和DbC),并且是用.Net实现的;但是我没有找到它的编译器、规范和代码示例。有没有人知道在哪里/如何获得这些(编译器、规范或代码示例)?
发布于 2011-09-30 01:45:39
我找到了.Net的实现,它的名字叫Lava,有一个叫做 LavaPE 的“编程环境”;两者齐头并进,LavaPE是Lava的同义词;这就是Jeff Atwood在这篇article中所说的未来语言将会发生的事情。我想知道它是否会成为主流,也许十年后,我们将拭目以待。
https://stackoverflow.com/questions/7593720
复制相似问题