-2
Area (x0:x1:xs) = determinant x0 x1 + Area(x1:xs) + determinant x0 xs
我不斷收到錯誤無法比擬的期望類型的最後一部分是determinant x0 xs
即xs
部分無法比擬預期型
Area (x0:x1:xs) = determinant x0 x1 + Area(x1:xs) + determinant x0 xs
我不斷收到錯誤無法比擬的期望類型的最後一部分是determinant x0 xs
即xs
部分無法比擬預期型
determinant :: a-> a -> ...
determinant x0 x1
determinant :: a-> [a] -> ...
determinant x0 **xs**
是什麼類型的決定因素應該有哪些?在第一個調用中,它需要x0 x1,它們都是a。在第二次調用中,您傳遞給行列式x0 xs,其中xs是一個([a])的列表。
'x0'和'x1'對於'[a]'有類型'a',而'xs'有類型'[a]',因爲它是尾部。你期望將什麼傳遞給'Area'? – Lee
'area'應該是小寫字母。你還沒有顯示你正在使用的'行列式'的定義,或者你期望你的函數有什麼類型。 – dfeuer