Concurrent Clean : 失敗の反対
「::Maybe a = Nothing | Just a」を失敗の伝達に使うのは、失敗したときの付加情報が伝達されないので、「::MayFail a b = Failed a | Succeeded b」みたいにしたいのだが、もっとスマートな単語はないかと検討中。
-
-
- -
-
Passというのがよいかも。
::PassFail a b = Pass a | Fail b
「::Maybe a = Nothing | Just a」を失敗の伝達に使うのは、失敗したときの付加情報が伝達されないので、「::MayFail a b = Failed a | Succeeded b」みたいにしたいのだが、もっとスマートな単語はないかと検討中。
Passというのがよいかも。
::PassFail a b = Pass a | Fail b