Haskell Datatype'dan rastgele

Question

Haskell'e oldukça yeni geldim. Ben bir veri türü vardır:

data Sentence= Prop Int 
      | No Sentence 
      | And [Sentence] 
      | Or [Sentence] 
      deriving Eq 

ben zaten

Ancak mantıklı olsun ya da olmasın, ben rastgele Cezasını oluşturabilmek için istiyorum için göster örneğini yazdım. Haskell'de bunu nasıl yapabilirim?

Answer 1

Rasgele sayı üretimi, "saf olmayan" bir işlemin tipik bir örneğidir, çünkü rastgele bir üreteci iki kez çağırmak elbette farklı sonuçlar verir - Haskell'in doğası buna izin vermez.

Bu nedenle, çalıştırıldığında, tip a bir değer elde edilir, yani bir rastgele jeneratörü temsil eden bir sözde monad Gen a kullanmak gerekir. Gidip burada -

Neyse ki,

Yani, sadece bazı tür bir jeneratör uygulayan library gerek ... oldukça güzel sözdiziminde bu jeneratörler birleştirebilirsiniz.

randomNo = No <$> randomSentence 
randomProp = Prop <$> choose (1, 10) 
[...] 

randomSentence = oneOf [randomNo, randomProp, ...] 

Answer 2

kolay yolu rastgele pakette var, modül System.Random kullanmaktır, bu nedenle muhtemelen ilk yüklemeniz gerekir.

Bu modül typeclasses tanımlar.

class RandomGen g where 
    next :: g -> (Int,g) 
    -- ... 

class Random r where 
    random :: RandomGen g => g -> (a,g) 
    randomR :: RandomGen g => (r,r) -> g -> (a, g) 

typeclass, sen uygulamak zorunda özgü, Random birinci fonksiyonu (ikinci hiçbir mantıklı olarak, sadece randomR = const random gibi uygulayabilirsiniz Ne random yapar mı? girdi olarak, size bunun için gerekenleri oluşturmak ve geri yeni jeneratör vermek zorunda rastgele jeneratör almak

sizin rastgele değerler üretmek için, böyle State monad, ya da bir şey kullanabilirsiniz ya:.

random g = (myResult,gn) where 
    (random1,g1) = next g 
    (random2,g2) = next g2 
    -- ... 

Daha sonra bu işlev tarafından sistemlerini rastgele jeneratör kullanabilirsiniz:

randomIO :: Random r => IO r 

Bu önceden belirlenir ve her çağrı farklı bir değeri verir. Ancak son olarak, Rastgele örneğinizi nasıl tanımlayacağınıza kendiniz karar vermelisiniz.

Answer 3

Favori yöntemim MonadRandom paketini kullanmaktır. Her ne kadar yaklaşık RandomGen'u geçerek aynı şeyle aynı kaynağa gelse de, sizin için yapar ve süreçte dağılmamanızı sağlar (zaten kullanılan bir jeneratörü geçmek gibi). Ayrıca, Rand StdGen a "a s olasılık dağılımı" nın güzel yorumuna sahiptir. senin Örneğin

, bu gibi görünebilir: sihirli sayı 5 oraya

-- a type for probability distributions 
type Dist = Rand StdGen 

-- pick uniformly between a list of values 
uniform :: [a] -> Dist a 
uniform xs = do 
    ix <- getRandomR (0, length xs - 1) 
    return (xs !! ix) 

-- return a list of elements generated by the given distribution 
randList :: Int -> Dist a -> Dist [a] 
randList maxElems dist = do 
    elems <- getRandomR (0, maxElems) 
    sequence (replicate elems dist) 

-- return a probability distribution of sentences 
randSentence :: Dist Sentence 
randSentence = do 
    -- choose one of these four distributions by a uniform distribution 
    -- (uniform [...] returns a distribution of distributions) 
    dist <- uniform [ 
     Prop <$> getRandom, 
     No <$> randSentence, 
     And <$> randList 5 randSentence, 
     Or <$> randList 5 randSentence ] 
    -- and sample the one we chose 
    dist 

Not. Bu yüzden 2 milyar eleman listesi almıyoruz. Rastgele oluşturulmuş listelerinizdeki terimlerin sayısını dağıtmak isteyebilirsiniz.

main = print =<< evalRandIO randSentence 

Answer 4

pick :: [a] -> IO a 
pick xs = randomRIO (0, length xs - 1) >>= return . (xs !!) 

çalıştırın herhangi bir liste üzerinde almak:

Ve evalRandIO veya birçok başka şeyler kullanabilirsiniz çalıştırmak için, gibi söylerler.