Question

Heyhey stackoverflowers，

作为一名PHP开发人员，我学到了很多关于编码的知识。用它来开发Python，这是一种非常容易学习的编码语言。不是在大学必须用Haskell编写一些代码，这对我来说真的不同......

我们的任务之一是编写随机生成器。我可以解释一下：

我的想法是使用randomNumbers生成一个List。

让我们说：

import Control.Monad (replicateM)
import System.Random

// max random numbers
maxInt = 5
// list
randList = replicateM (fromIntegral maxInt) (randomRIO(1, 6))

此代码在GHCI中正常使用let定义maxInt和randList，但在我的.hs文件中解释，它不起作用..

这里的错误是：

    Ambiguous type variable `a0' in the constraints:
  (Num a0)
    arising from the literal `1' at code.hs:11:59
  (Random a0)
    arising from a use of `randomRIO'
    at code.hs:11:49-57
Possible cause: the monomorphism restriction applied to the following:
  randList :: IO [a0] (bound at code.hs:11:1)
Probable fix: give these definition(s) an explicit type signature
              or use -XNoMonomorphismRestriction
In the expression: 1
In the first argument of `randomRIO', namely `(1, 6)'
In the second argument of `replicateM', namely `(randomRIO (1, 6))'
Failed, modules loaded: none.

我尝试过非常不同的事情，比如

import System.Random

addToList :: Int -> Int
addToList 0 = [randomRIO(1, 6)]
addToList n = [randomRIO(1, 6)] ++ addToList (n-1)

但我真的很新Haskell和作为PHP OOP程序员，没有类型问题的Ints，Floats，Lists，Arrays，Haskell真的很愚蠢，对我来说;）

谢谢！

Answer 1

发生此错误是因为数字文字在Haskell中被重载，因此只需编写1可能意味着它是Int，Double或其他一些数字类型，具体取决于上下文。如果它没有完全由上下文确定，Haskell将尝试从默认列表中选择一个类型，但仅当这被认为是 safe ¹ 时，即当唯一类型时涉及的课程是标准课程。

Random不是标准类型类之一，这就是它不会选择Integer作为默认值的原因。您必须自己添加类型注释：

randList = replicateM (fromIntegral maxInt) (randomRIO (1 :: Integer, 6))

或

randList :: IO [Integer] 
randList = replicateM (fromIntegral maxInt) (randomRIO (1, 6))

GHCi is less strict about this，这就是它在那里工作的原因。

_{¹用户定义的类通常可以针对不同类型做出截然不同的事情。}

在haskell和ghci中生成范围内的随机数列表时键入问题

1 个答案: