왜 (오드) 오류를 추론 할 수 없습니까? 내가 요소의 작은 합계 :</p> <pre><code>shortest :: (Num a) => [[a]] -> [a] shortest [] = [] shortest (x:xs) = if sum x < sum (shortest xs) then x else shortest xs </code></pre> <p>나에게 다음과 같은 오류를 제공하여 목록을 찾기 위해 노력하고

Question

:

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 

하지 않는 이유는 함수의 유형 체킹?

Answer 1

이 코드에는 두 가지 유형 클래스 인 Num과 Ord이 있습니다. 유형은 이고 Ord이 아닌 구성원 일 수 있으며 그 반대도 마찬가지입니다.

sum의 유형은 Num a => [a] -> a이므로 입력 요소는 shortest이어야하며 Num이어야합니다.

sum x < sum (shortest xs) 

이것은 당신이 a들에 운영자 <을 사용하는 것을 의미하지만, 당신의 유형 서명에 당신은 a의이 정의 Ord의 인스턴스가 될 것을 요구하지 않은 : 당신은 또한 코드에서 를 다음을 수행하십시오 < :

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

따라서 당신은 당신의 유형 서명에 그 요구 사항을 추가해야합니다

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

또는 유형 서명을 생략 할 수 있습니다.

Answer 2

Num이 없으므로 Ord 제약 조건이 a에 누락되어 있습니다. 그것은

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

당신은 유형 서명을 제거 할 수 있어야하며 GHC는이 추론됩니다.