Maybe モナドNothing がゼロ。プラス演算子は最初の 非-Nothing 値を返すか、両方の入力が Nothing であった場合には、Nothing を返す。 動機 Maybe モナドは計算の連鎖を合成する戦略を内包している。それぞれの計算が それまでのどのステップも出力として Nothing となれば、 最後に Nothing を返すかもしれない。これは計算が、互いに 依存するステップの並びを伴い、その中に値を返すのを失敗するかもしれない ステップが含まれている場合に役にたちます。 もし以下のようなコードを書いたことがあるなら: case ... of Nothing -> Nothing Just x -> case ... of Nothing -> Nothing Just y -> ... Maybe のモナドとしての性質をつかってコードを改良することを 考えるべきでしょう。 定義 da
