haskell - 为什么不能将 take 的类型更改为使用任何 Integral？

Question

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

我读过 take 的不方便类型是由于历史原因，更改它可能会导致某些代码中断。

但是我不能替换 take与 genericTake无处不在而不破坏任何东西？有什么问题？

Answer 1

破案

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

这将中断 genericTake .

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

这是一个精心设计的示例，但您可以理解发生在 take 的第一个参数上的一些类型推断，假设它是 Int。 , 现在当您将类型更改为 Integral i => i可能会出现一些问题，如上。