任何人使用微軟ASML語言？

Question

對我來說，「Gurevich抽象狀態機」（以前稱爲「演化代數」）的概念似乎非常有希望爲系統行爲提供堅實的基礎。它可能是關係代數對於數據庫是什麼：潛在的理論基礎。

據我所知，最完整的實現是生成.NET程序集的Microsoft ASML語言。

有人真的在工作環境中使用它嗎？而且，萬一，成功的程度如何？

如果其他人有成功案例分享，我真的很想開始調查。

Answer 1

幾年前我嘗試過，但它似乎項目變得陳舊。很遺憾，我有點喜歡它。