有人用微软ASML语言吗？
对我来说，“古列维奇抽象状态机”（以前称为“进化代数”）的概念似乎非常有希望为系统行为提供坚实的基础。 这可能就像关系代数对于数据库的意义：底层的理论基础。
据我所知，最完整的实现是 Microsoft ASML 生成 .NET 程序集的语言。
有人真的在工作环境中使用它吗？ 万一成功了呢？
我真的很想开始进行更多调查，看看其他人是否有成功的故事可以分享。
To me the concept of "Gurevich Abstract State Machine" (formerly known as "evolving algebras") seems very promising to provide a solid fundation to systems behaviours. It could be what relational algebra is for databases: the underlying theoretic fundation.
The most complete implementation, to my knowledge, is the Microsoft ASML language that produces .NET assemblies.
Is anyone really using it in a working context? And, in case, with what degree of success?
I would really like to start investigating more, if others have success stories to share.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
几年前我尝试过，但这个项目似乎已经过时了。 很遗憾，因为我还挺喜欢的。
I tried it several years back, but it seemed the project became stale. It is a pity, as I kinda liked it.