このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

consults, affects, operates

プログラム意味論 cathand

Sがシステムコンポネントで、R[S] は「Sのreadファセット」、W[S]は「Sのwriteファセット」とする。メイヤー流インターフェースで言えば、readファセット＝query部分、writeファセット＝command部分。

  • f:A→B consults R[S] これは自明コモナド・スタンピングコモナド
  • f:A→B affects W[S] これはモノイド・スタンピングモナド
  • f:A→B operates S は、f:A→B consults R[S], affects W[S] と同じ。一般的なモナド・コモナド・ペアに制約が加わったものとして捉えられるか？