Reactive Functional Programming その後

Reactiveなプログラム例として，ゲームが載っている．次の5つの状態がある．

• Quiet: 「Insert Coin」と出ている画面
• Start: Coin1個いれるとこの画面になる．「Ready」ボタンを押すまで待機
• Wait : 「Ready」を押すとこの画面になり，ランダムな時間待たされる
• React ： 「Stop」を押せ！ という画面になる
• End : 「Stop」を押した後の画面．反応するのにかかった時間が表示される

これ，ようするにオートマトン．こういう状態機械を関数型言語であらわす，みたいな話で，どうもStateモナドなどと関係ありそう，だけどReactive Programming，Reactiveなコンパイラの話とは関係なさそうなので，この論文は保留かな．