Tại sao không thể thay đổi loại hình để sử dụng bất kỳ Tích phân nào?

Question

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

Tôi đã đọc rằng loại bất tiện của take là do lý do lịch sử và việc thay đổi nó có thể khiến một số mã bị hỏng.

Nhưng tôi không thể thay thế take bằng genericTake ở mọi nơi mà không vi phạm bất cứ điều gì? Có chuyện gì vậy?

Answer 1

Một trường hợp bẻ

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 

này sẽ phá vỡ cho genericTake.

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

Đây là một nấu chín lên ví dụ nhưng bạn có thể hiểu được một số loại suy luận xảy ra trên đối số đầu tiên cất nơi người ta cho rằng nó là Int, bây giờ khi bạn thay đổi loại để Integral i => i một số vấn đề có thể xảy ra như trên.