PS

Error monads in String diagrams

Error monad

f:id:mbps:20151023080835p:plain

Maybe monad \mathtt{()} e にしただけ。

throw/catch

f:id:mbps:20151023080840p:plain

参考文献