Haskell: Không dụ cho (Eq a) phát sinh từ việc sử dụng của `=='

Question

isPalindrome :: [a] -> Bool 
isPalindrome xs = case xs of 
         [] -> True 
         [x] -> True 
         a -> (last a) == (head a) && (isPalindrome (drop 1 (take (length a - 1) a))) 

main = do 
    print (show (isPalindrome "blaho")) 

kết quả trong

No instance for (Eq a) 
    arising from a use of `==' 
In the first argument of `(&&)', namely `(last a) == (head a)' 
In the expression: 
    (last a) == (head a) 
    && (isPalindrome (drop 1 (take (length a - 1) a))) 
In a case alternative: 
    a -> (last a) == (head a) 
     && (isPalindrome (drop 1 (take (length a - 1) a))) 

Tại sao lỗi này xảy ra?

Answer 1

Bạn đang so sánh hai mục thuộc loại a bằng cách sử dụng ==. Điều đó có nghĩa là a không thể là bất kỳ loại nào - nó phải là một phiên bản của Eq, vì loại == là (==) :: Eq a => a -> a -> Bool.

Bạn có thể khắc phục điều này bằng cách thêm một hạn chế Eq trên a với loại chữ ký của chức năng của bạn:

isPalindrome :: Eq a => [a] -> Bool 

_{Bằng cách này, có một cách đơn giản hơn nhiều để thực hiện chức năng này sử dụng reverse.}

Answer 2

giải thích về hammar là chính xác.

Một ví dụ đơn giản:

nosPrimeiros :: a -> [(a,b)] -> Bool 
nosPrimeiros e [] = False 
nosPrimeiros e ((x,y):rl) = if (e==x) then True 
             else nosPrimeiros e rl 

Các (e == x) sẽ thất bại cho chữ ký chức năng này. Bạn cần phải thay thế:

nosPrimeiros :: a -> [(a,b)] -> Bool 

thêm một thể hiện Eq cho một

nosPrimeiros :: Eq => a -> [(a,b)] -> Bool 

instantiation này được nói rằng bây giờ, một có một kiểu mà có thể sánh ngang với và (e == x) sẽ không thất bại.