对我而言，“Gurevich抽象状态机”(以前称为“进化代数”)的概念似乎很有希望为系统行为提供坚实的基础。关系代数可能是数据库的基础理论基础。
据我所知，最完整的实现是生成.NET程序集的Microsoft ASML 语言。
有人真的在工作环境中使用它吗？而且，万一成功的程度如何？
如果其他人可以分享成功的故事，我真的想开始进行更多的调查。
最佳答案
几年前我曾尝试过，但该项目似乎过时了。可惜，我有点喜欢。
关于.net - 有人使用Microsoft ASML语言吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/186549/