設計がとても重要だと思うのですが、いつまでも調べたり考えたりしていても先に進まないので、まずはシンプルなhappを作って見ます。
骨格になるであろう機能
- システムの構造を決定する処理グラフ
- 処理グラフをドライブする機構
グラフ
- 結局ここに戻ってきた
- まずは、haskellでグラフ構造を表現する
- グラフのvertexはシンプルにIDとする
- Map ID Node を作る
- Nodeは以下の情報を持つ
- モジュールの実行パス
- 入出力の型定義
- グラフは以下から成る
- edge
- vertex
- 一つのvertexから複数のedgeがある場合、誰がedgeを選択するか?つまり、条件分岐・ループ等の”条件”を誰が持つか。これが問題