经过` for‘as’for‘表示’外卖‘

Question

通过给你一个哈斯克尔阅读，我做了以下工作：

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)

请注意，上面的函数不正确，因为它返回的是"next“gen，而不是n第四个。

根据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那样具有普遍性。