Haskell:随机数

Question

我编写了一个函数来随机从 [-10,10] 中获取一对。

import System.Random


main = 
    do { 
         s <- randomNumber
       ; b <- randomNumber
       ; print (head s,head b)}
randomNumber :: IO [Int]
randomNumber = sequence $ replicate 1 $ randomRIO (-10,10)

现在我想要一个像[(1,2),(2,3),(2,3)]这样的列表，所有的数字都来自随机数。我怎样才能做到这一点？我不知道如何实现这一目标。

我尝试使用状态来获得随机性，但不知何故我无法在我的计算机上使用状态。我这样做了:

import System.Random
import Control.Monad.State
randomSt :: (RandomGen g, Random a) => State g a
randomSt = State random

但是当我编译它时，它显示:不在范围内:数据构造函数'State'

Answer 1

所以如果你想要的只是一个函数

  randomPairs :: IO [(Int, Int)]

然后我们可以做类似的事情

   randomList :: IO [Int]
   randomList = randomRs (-10, 10) `fmap` newStdGen
   randomPairs = ??? randomList randomList

哪里???需要两个IO [Int]并将它们“压缩”在一起形成 IO [(Int, Int)] 。我们现在转向hoogle并查询函数[a] -> [a] -> [(a, a])我们找到一个函数zip :: [a] -> [b] -> [(a, b)]我们现在只需要“抬起”zip进入IO monad 来使用它 IO列出所以我们最终得到

  randomPairs = liftM2 zip randomList randomList

或者如果我们想要真正的花哨，我们可以使用应用程序来代替

  import Control.Applicative

  randomPairs = zip <$> randomList <*> randomList

但是从你的 randomNumber 来看功能，你真的只想要一对。这个想法非常相似。我们不生成列表，而是仅生成一个随机数 randomRIO (-10, 10)和电梯(,) :: a -> b -> (a, b)导致

  randomPair = (,) <$> randomRIO (-10, 10) <*> randomRIO (-10, 10)

最后，State数据构造函数不久前就消失了，因为 MTL 不再具有单独的 State和StateT制作类型State类型同义词。现在你需要使用小写 state :: (s -> (s, a)) -> State s a

澄清一下，我的最终代码是

import System.Random
import Control.Monad

randomList :: IO [Int]
randomList = randomRs (-10, 10) `fmap` newStdGen

pairs :: IO [(Int, Int)]
pairs = liftM2 zip randomList randomList

somePairs n = take n `fmap` pairs

main = somePairs 10 >>= print