コモナドによる対話 - Qiita

外界との対話をモナドではなくコモナドで表現することについての不確かで曖昧なアイデア話です．書き散らかしのメモですが，アドバイス，ツッコミをいただければ幸いです． 外界との対話（インタラクション） 外界との対話は， 実行時 にならないと 確定 しない計算対象を扱わなければなりません．ということは，対話を含むプログラムは 動的 で，ある種の 非決定性 があると考えられます． 純粋な関数 関数プログラミングではプログラムは，ある型の値から別の型の値への関数です．

[igrep]

コモナドのrfがなんだったか忘れちゃったので後で調べる。（追記：なんか読み違えてたすんません）

[ruicc]

そういえばComonadとIOの関係は考えてなかった