Mobility Workbench もどき
Mobility Workbench もどきを作っている。もちろん Haskell で。1日とちょいでとりあえずステップ実行まではできるようになった。 あとは structural congruence を使った簡単化とかをやれば(ステップ実行に関してだけは)本家に遜色ない。
> agent P(a,b) = 'a<b>.0 | a(x).x.0 > step P(a,b) 0|>'a<b>.(0|a(x).x.0) 1|>a(x).('a<b>.0|x.0) 2|>t.(0|b.0) Step> 0|>a(x).(0|x.0) Step> 0|>x.(0|0) Step> No commitment. > quit GoodBye!
というわけで、そろそろ拡張を入れる頃合いかな。本家のソースに手を入れるのとどっちが楽かなぁとは作りながらよく思ったけど、まぁ面白かったのでよし。 Standard ML とかよくわからんし。