haskell - 如何解决 RandomGen 的 "rigid type variable bound by"错误？

Question

这个问题已经有答案了:

Return specific type within Haskell (3 个回答)

已关闭 7 年前。

我正在尝试生成一些随机数和新的随机数生成器。我还没有走得太远，但我遇到了这个错误，而且我不明白如何修复它。

我的代码是:

getGenerator :: RandomGen g => g
getGenerator = snd (next (mkStdGen 42))

我得到的错误是:

Couldn't match expected type ‘g’ with actual type ‘StdGen’
  ‘g’ is a rigid type variable bound by
      the type signature

有人可以解释一下我做错了什么吗？我还尝试将 RandomGen 切换为 StdGen 但出现错误:

‘StdGen’ is applied to too many type arguments

我看到 mkStdGen 创建了一个 StdGen，但根据 wiki 页面，StdGen 是 RandomGen 的一个实例。有没有办法以某种方式将 StdGen 转换为 RandomGen？我现在真的很困惑。

Answer 1

问题在于您的声明比实际定义更笼统。您的声明声称 getGenerator 的类型可以是实现 RandomGen 类的任何类型。假设我有这样一个类型，MyRandomGen。那么我应该能够写出类似的东西

let v = getGenerator :: MyRandomGen

并将 v 绑定(bind)到 MyRandomGen 值。

但是，您的实际定义并不那么笼统。 snd (next (mkStdGen 42)) 的值始终为 StdGen 类型，而不是任意实例 g RandomGen。

解决方案是诚实地了解 getGenerator 的计算结果。

getGenerator :: StdGen
getGenerator = snd (next (mkStdGen 42))