2016-01-09 例外処理と随伴ペア 課題 復習 モナドにおける「拡張」の補遺:アンクライスリ化かな - 檜山正幸のキマイラ飼育記 例外モナドのクライスリ圏の話。tryブロックが埋め込みJの随伴であること。これ、アイレンベルク/ムーア圏だとどうなる? 例外モナドのアイレンベルク/ムーア代数は付点集合の拡張になるはず。例外のキャッチがアイレンベルク/ムーア代数(加群)で、その後のハンドラー射を続ける、ということだったような。noexcept宣言の意味をよく考える必要もある。