Question

阅读Learn You a Haskell，我正在研究以下内容：

import System.Random

-- We could make a function that generates a finite stream of numbers and a new generator.
finiteRandoms :: (RandomGen g, Random a) => Int -> g -> ([a], g) 
finiteRandoms 0 g = ([], g) 
finiteRandoms n g = let (num, gen) = random g 
                    in (take n $ num : randoms gen, gen)

请注意，上述功能不正确，因为它返回“下一个”gen而不是n。

Per LYAH，正确的签名是：

finiteRandoms :: (RandomGen g, Random a, Num n) => n -> g -> ([a], g)。

当我尝试take n $ num其中n是Num类型时，它无法编译：

Could not deduce (n ~ Int)。

鉴于Num，如何将其转换为Int以致电take n？

Answer 1

一般来说，无法将Num a => a转换为Int。这是因为没有从许多数字类型到整数的规范映射。例如，不可能以1：1的对应关系将复数映射到整数。如果您要将Double转换为Int，则可以使用round，但没有可以为任何数字类型执行此操作的函数。

Answer 2

如果您想为n使用多态类型，Data.List总是genericTake：

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

由于bhkelir指出的原因，你不会像Num那样普遍。

将`Num`作为`Int`传递给`take`

2 个答案: