Haskell et de nombres aléatoires

Comment éviter le IO dépend pourquoi il est introduit dans la première place. Alors que les pseudo-générateurs de nombres aléatoires sont par nature étatique, il n'y a pas de raison IO doit être impliqué.

Je vais faire une supposition et dire que vous êtes à l'aide de newStdGen ou getStdGen pour obtenir votre initiale PRNG. Si c'est le cas, alors il n'y a aucun moyen d'échapper complètement à IO. Vous pouvez déclencher le PRNG directement avec mkStdGen, en gardant à l'esprit que même les semences de suite dans la même "aléatoire" nombre de la séquence.

Plus probablement, ce que vous voulez faire est d'obtenir un GÉNÉRATEUR à l'intérieur de IO, puis passer que comme un argument à une fonction pure. La chose entière sera toujours enveloppé dans IO à la fin, bien sûr, mais les calculs intermédiaires ne pas en avoir besoin. Voici un exemple rapide pour vous donner l'idée:

import System.Random

type Rand a = StdGen -> (a, StdGen)

getPRNG = do
    rng <- newStdGen
    let x = usePRNG rng
    print x

usePRNG :: StdGen -> [[Int]]
usePRNG rng = let (x, rng') = randomInts 5 rng
                  (y, _) = randomInts 10 rng'
              in [x, y]

randomInts :: Int -> Rand [Int]
randomInts 0 rng = ([], rng)
randomInts n rng = let (x, rng') = next rng
                       (xs, rng'') = randomInts (n - 1) rng'
                   in (x:xs, rng'')

Vous remarquerez que le code en utilisant le GÉNÉRATEUR est assez laid due au passage de la valeur actuelle et en arrière en permanence. C'est aussi potentiellement sujettes à erreur, car il serait facile pour accidentellement réutiliser une ancienne valeur. Comme mentionné ci-dessus, en utilisant le même GÉNÉRATEUR de valeur que va donner la même séquence de nombres, ce qui n'est généralement pas ce que vous voulez. Les deux problèmes sont un parfait exemple de l'endroit où il est logique d'utiliser un State monade, qui est prise en hors sujet ici, mais vous aimeriez peut-être la prochaine.

OriginalL'auteur C. A. McCann

Si vous voulez obtenir un infini liste de Integers vous allez courir dans des problèmes que vous ne jamais obtenir une StdGen valeur de retour. Ce que vous voulez faire ici est split la StdGen tout d'abord, passer la moitié de nouveau et "utiliser" l'autre moitié pour générer une liste infinie d'entiers. Quelque chose comme ceci:

infiniteRandomInts :: Rand [Int]
infiniteRandomInts g = (ints, g2) where
    (g1,g2) = split g
    ints = randoms g1

Toutefois, si vous répétez cette approche pour obtenir une matrice infinie de Integers (à laquelle vous semblez vous le souhaitez, en utilisant Rand [[Int]]), vous pourriez rencontrer des problèmes de nature statistique: je ne sais pas comment bien StdGen traite répétée splitting. Peut-être une autre mise en œuvre de RandomGen peut-être mieux, ou vous pouvez essayer d'utiliser une sorte de diagonale à pied à son tour un [Int] dans un [[Int]].

OriginalL'auteur yatima2975