- CSP(Communication Sequence Process)の合成演算子を使ってゲームをモデル化 & 実行 してみた
- 解きたかった問題
- Elm の update みたいなやつ、巨大な状態遷移マシン書くのツラそうだったのでうまく分割して記述したい
- アプローチ
- CSPのリッチな合成演算子がまさに使えそうだった
- CSPのシミュレータをゲームエンジンとして使う
- 結果
- 並行合成使うと確かに分割出来るんだけど、並行性考えないといけなくて難易度が爆上がりする。fdr4みたいな検査器と使わないとキビシそう
- フツーにイベントをcaseで分けて処理するか、オブジェクト指向ライクに書いたほうが分かりやすい気がする