計算作用

モナドで扱うような計算作用

• 値を返さない場合がある(partiality)
  • $T(B)=T+1$
• 複数の計算結果がある(nondeterminism)
  • $T(B)=P_{fin}(B)$
• 副作用がある(side-effects)
  • $T(B)=(S\times B{)}^S$
• エラーが発生する(exception)
  • $T(B)=B+E$
• 継続(計算機科学)を返す(continuations)
  • $T(B)=R^{R^B}$