Nicht erschöpfende Muster in meiner Funktion Kopf '

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 ] 

Wer hat irgendwelche Ideen, warum dies könnte eine nicht erschöpfende werfen? Ich habe das Gefühl, dass etwas fehlt, aber ich bin zu neu, um es selbst zu wissen, ich lerne es selbst, also könnte das der Grund sein, jeder Rat würde geschätzt werden.

Answer 1

Sowohl head' als auch tail' definieren nicht, was passiert, wenn Sie die leere Liste als Parameter angeben. Sie müssen Folgendes definieren:

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

Answer 2

Ich bin nicht sehr fließend noch in Haskell, aber die folgenden Version von transpose' funktioniert gut für Nicht-zackige Matrizen:

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

ZB

>>> 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]] 

aber nicht für zerlumpte Matrizen:

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