2007-11-25から1日間の記事一覧
Mobility Workbench もどきを作っている。もちろん Haskell で。1日とちょいでとりあえずステップ実行まではできるようになった。 あとは structural congruence を使った簡単化とかをやれば(ステップ実行に関してだけは)本家に遜色ない。 > agent P(a,b) = …
Standard ML って Robin Milner が定義した言語だったのか…。じゃあもっと敬意を払わないといかんな。
Mobility Workbench もどきを作っている。もちろん Haskell で。1日とちょいでとりあえずステップ実行まではできるようになった。 あとは structural congruence を使った簡単化とかをやれば(ステップ実行に関してだけは)本家に遜色ない。 > agent P(a,b) = …
Standard ML って Robin Milner が定義した言語だったのか…。じゃあもっと敬意を払わないといかんな。