私の機能のヘッドで非網羅的なパターン '

Question

transpose' :: [[a]] -> [[a]] 
transpose' [[]] = [] 
transpose' [[], _] = [] 
transpose' rows = (map head' rows) : transpose' (map tail' rows) 
    where 
    head' (x:_) = x 
    tail' (_:xs) = xs 

matMult3 :: (Num a) => [[a]] -> [[a]] -> [[a]] 
matMult3 a b = [ [ sum $ zipWith (*) ar bc | bc <- (transpose' b) ] | ar <- a ] 

誰もがこれが非網羅的なものになってしまうのではないかと考えていますか？私は何かが欠けているように感じるが、私は実際に知っているために自分自身をhaskellするには新しく、私はそれを教えているので、何かアドバイスをいただければ幸いです。

Answer 1

head'とtail'は、空のリストをパラメータとして指定した場合の動作を定義しません。あなたは次のことを定義する必要があります。

head' [] = .... 
tail' [] = .... 

Answer 2

、私は非常に流暢ではないよ、まだHaskellで、しかしtranspose'の以下のバージョンは、非ぼろぼろの行列に適しています：

transpose' :: [[a]] -> [[a]] 
transpose' ([x]: xs) = [x: map singleTail' xs] where 
    singleTail' [x] = x 
transpose' rows = (map head rows) : transpose' (map tail rows) 

例えば、

>>> transpose' [[1], [2], [3]] 
[[1,2,3]] 

>>> transpose' [[1,2,3]] 
[[1], [2], [3]] 

>>> transpose' [[1, 2], [2, 3], [3, 4]] 
[[1,2,3],[2,3,4]] 

が、ギザギザの行列で失敗した：

>>> transpose' [[1, 2], [2, 3], [3, 4, 5]] 
:3:5-23: Non-exhaustive patterns in function singleTail'