Tại sao tôi nhận được lỗi Không thể suy luận (Ord a)?

Question

Tôi cố gắng để tìm ra danh sách với tổng nhỏ nhất của các yếu tố .:

shortest :: (Num a) => [[a]] -> [a] 
shortest [] = [] 
shortest (x:xs) = if sum x < sum (shortest xs) then x else shortest xs 

Điều đó mang lại cho tôi những lỗi sau:

Could not deduce (Ord a) arising from a use of `<' 
from the context (Eq a) 
    bound by the type signature for shortest :: Eq a => [[a]] -> [a] 
    at code.hs:(8,1)-(9,71) 
Possible fix: 
    add (Ord a) to the context of 
    the type signature for shortest :: Eq a => [[a]] -> [a] 
In the expression: sum x < sum (shortest xs) 
In the expression: 
    if sum x < sum (shortest xs) then x else shortest xs 
In an equation for `shortest': 
    shortest (x : xs) 
     = if sum x < sum (shortest xs) then x else shortest xs 

Tại sao không phải là chức năng typecheck?

Answer 1

Có hai loại lớp liên quan đến mã này: Num và Ord. Lưu ý rằng một loại có thể là thành viên Num và không phải là Ord và ngược lại.

Loại sum là Num a => [a] -> a để các yếu tố đầu vào là shortest cần phải là thành viên của Num. Bạn cũng làm như sau trong mã của bạn:

sum x < sum (shortest xs) 

Điều này có nghĩa rằng bạn đang sử dụng các nhà điều hành < trên a s, nhưng trong chữ ký kiểu của bạn, bạn chưa cần thiết rằng a s là một thể hiện của Ord trong đó xác định <:

class Eq a => Ord a where 
    compare :: a -> a -> Ordering 
    (<) :: a -> a -> Bool 
    ... 

Vì vậy, bạn cần phải thêm yêu cầu đó để chữ ký kiểu của bạn:

shortest :: (Ord a, Num a) => [[a]] -> [a] 

Hoặc bạn có thể loại bỏ chữ ký loại.

Answer 2

Num không bao gồm Ord, vì vậy bạn thiếu ràng buộc Ord trên a trong chữ ký loại. Nó phải là

shortest :: (Num a, Ord a) => [[a]] -> [a] 

Bạn có thể xóa chữ ký loại và GHC sẽ suy ra điều này cho bạn.