有人使用微软的ASML语言吗？

Question

在我看来，"Gurevich抽象状态机“(以前称为”进化代数“)的概念似乎很有希望为系统行为提供坚实的基础。它可能是数据库的关系代数:潜在的理论基础。

据我所知，最完整的实现是生成.NET程序集的微软.NET语言。

真的有人在工作环境中使用它吗？万一成功到什么程度呢？

如果其他人有成功的故事可以分享的话，我真的想开始更多的调查。

Answer 1

我几年前就试过了，但似乎这个项目已经过时了。很遗憾，因为我有点喜欢它。