対象が Maybe モナドの場合、次のような結果となりわかりやすい。失敗するかもしれない文脈 を除いた値をリストにしている。 sequence [Just 5, Just 100] -- Just [5,100] sequence [Just 5, Nothing, Just 100] -- Nothing ( Nothing から値を取ろうとして fail が呼ばれる )
sequence
を適用してみた結果に混乱したので整理しておく。 sequence [[1], [2], [3]] -- [[1,2,3]]
はて、果たして、sequence
関数は何をやっ...