let 바인딩의 모호한 유형 변수

Question

C 및 Java 배경에서 하스켈을 처음 사용했습니다. 때때로, 나는 하스켈의 타입 시스템에 문제가있다. 나의 현재 오류가이 코드 조각입니다 :

는

countIf :: (Integral b) => [a] -> (a -> Bool) -> b 
countIf [] p = 0 
countIf (x:xs) p 
    | p x = 1 + countIf xs p 
    | otherwise = countIf xs p 

isRelativelyPrime :: (Integral a) => a -> a -> Bool 
isRelativelyPrime m n = gcd m n == 1 

phi :: (Integral a, Integral b) => a -> b 
phi n = countIf [1..(n - 1)] (isRelativelyPrime n) 

main = print [(n, phi n, ratio) | n <- [1..10], let ratio = (fromIntegral (phi n))/n] 

오류 메시지가

prog.hs:13:60: 
    Ambiguous type variable `b' in the constraints: 
     `Fractional b' arising from a use of `/' at prog.hs:13:60-85 
     `Integral b' arising from a use of `phi' at prog.hs:13:75-79 
    Probable fix: add a type signature that fixes these type variable(s) 

13:60 그냥 메인에 내 지능형리스트에 바인딩하자에 fromIntegral의 사용 전입니다. ghc의 오류 메시지에 익숙해 지려고합니다. 컴파일 할 코드를 변경하기 위해 필요한 것을 알아 내기 위해이 특정 코드를 해독 할 수 없습니다. 어떤 도움이라도 대단히 감사하겠습니다. 감사.

Answer 1

Haskell은 Integral (phi n)에서 호출 한 이후 이미 알고있는 정수 유형을 자동으로 변환하지 않으므로 n에 대해 Integral을 호출해야합니다. 나는 항상이 실수를한다. 큰 문제가 아니다!

Answer 2

이것은 일반적인 초보자 실수의 예입니다. 지나치게 다형성 코드입니다.

코드를 최대한 일반화했습니다.

phi :: (Integral a, Integral b) => a -> b 

이것은 phi 변환을 통해, 다른 일체형으로 임의 일체형 걸릴 것이다.

이러한 다형성 코드는 라이브러리에 적합하지만 유형 유추에는 적합하지 않습니다. 난 그냥이 정수에 작업 할 돈을 넣어 것, 그래서 우리는 가서는 A보다 정확한 유형을 제공,

countIf :: [Integer] -> (Integer -> Bool) -> Integer 
countIf [] p = 0 
countIf (x:xs) p 
    | p x  = 1 + countIf xs p 
    | otherwise = countIf xs p 

isRelativelyPrime :: Integer -> Integer -> Bool 
isRelativelyPrime m n = gcd m n == 1 

phi :: Integer -> Integer 
phi n = countIf [1..(n - 1)] (isRelativelyPrime n) 

main = print [ (n, phi n, ratio) 
      | n <- [1..10], let ratio = (fromIntegral (phi n)) ] 

및 유형의 오류가 바로 사라질 수 있습니다.

성능이 향상 될 수도 있습니다 (특히 Int을 전문으로하는 경우).