Integral을 사용하기 위해 테이크 유형을 변경 할 수없는 이유는 무엇입니까?

Question

take :: Int -> [a] -> [a] 
genericTake :: Integral i => i -> [a] -> [a] 

나는 take의 불편한 유형은 역사적인 이유로 인한 것이며, 그 변경으로 인해 일부 코드가 손상 될 수 있음을 읽었습니다.

그러나 take을 genericTake으로 대체 할 수 없습니까? 뭐가 문제 야?

Answer 1

이 genericTake을 위해 휴식하는 파괴의 경우

genericTake :: Integral i => i -> [a] -> [a] 
genericTake n xs = take (fromIntegral n) xs 

class Foo a where 
    bar :: a -> String 

instance Foo Int where 
    bar _ = "int" 

foo :: String -> [a] -> [a] 
foo ns xs = let y = read ns 
       z = bar y 
      in take y xs 

.

No instance for (Foo i0) arising from a use of `bar' 
    The type variable `i0' is ambiguous 

이렇게까지 요리 예입니다하지만 당신은 당신이 Integral i => i으로 유형을 변경하면 현재 몇 가지 문제가 위와 같이 발생할 수 있습니다, Int 있다고 가정 테이크의 첫 번째 인수로 발생하는 어떤 종류의 추론을 이해할 수있다.