爲什麼當我試圖解除它時，我的Haskell do-notation會打破？

Question

我有以下代碼的99個哈斯克爾問題Problem 26：

combinations :: Int -> [a] -> [[a]] 
combinations 0 _ = return [] 
combinations n xs = do y:xs' <- tails xs 
         ys <- combinations (n-1) xs' 
         return (y:ys) 

上面的代碼按預期工作。下面是我的主要功能和打印效果：

main = print $ combinations 2 "abcd" 
-- Prints: ["ab","ac","ad","bc","bd","cd"] 

作爲一個學習鍛鍊我試圖"desugar" the do-notation像這樣：

combinations :: Int -> [a] -> [[a]] 
combinations 0 _ = return [] 
combinations n xs = tails xs >>= \(y:xs') -> 
        do 
         ys <- combinations (n-1) xs' 
         return (y:ys) 

這將編譯，但在運行時提供了以下錯誤：

PatternMatchFail: /home/.../test.hs:(46,34)-(49,37): Non-exhaustive patterns in lambda 

這是怎麼回事？我怎樣才能用>>=和>>代替do not notation？

Answer 1

從Haskell Wikibook：

...與lambda表達式的片段是 「大致相當於」 到DO塊。它不是一個確切的翻譯，因爲這個符號增加了模式匹配失敗的特殊處理。

考慮這個例子：

f xs = do 
     (x:_) <- Just xs 
     return x 

g xs = Just xs >>= 
     \(x:_) -> return x 

對於任何非空列表，這些功能是相同的。但是f []返回Nothing和g []返回的錯誤非常類似於您正在獲取的錯誤。

這是因爲do表示法處理故障的方式不同。 Monad typeclass具有fail函數。您正在使用列表monad，通過返回一個空列表失敗。 Maybe monad通過返回Nothing來實現它。無論採用哪種方式，do表示法中的模式匹配失敗都是使用此函數處理的，因此有所不同。

所以正確的方法來翻譯這將是：

g xs = Just xs >>= 
     \xs' -> case xs' of 
       (x:_) -> return x 
       [] -> fail "some error"