設計がとても重要だと思うのですが、いつまでも調べたり考えたりしていても先に進まないので、まずはシンプルなhappを作って見ます。

骨格になるであろう機能

• システムの構造を決定する処理グラフ
• 処理グラフをドライブする機構

グラフ

• 結局ここに戻ってきた
• まずは、haskellでグラフ構造を表現する
• グラフのvertexはシンプルにIDとする
• Map ID Node を作る
• Nodeは以下の情報を持つ
  • モジュールの実行パス
  • 入出力の型定義
• グラフは以下から成る
  • edge
  • vertex
• 一つのvertexから複数のedgeがある場合、誰がedgeを選択するか？つまり、条件分岐・ループ等の”条件”を誰が持つか。これが問題