Génération de chaînes aléatoires à partir d'un pool de chaînes à l'aide de QuickCheck

Question

Considérez le problème de génération de chaînes de sorte que, une fois qu'une chaîne est choisie, elle ne puisse plus être répétée. Pour cette tâche, je voudrais utiliser QuickCheckGen fonctions.

Si je regarde le type de la fonction que j'essaie d'écrire, cela ressemble beaucoup à une monade d'état. Depuis que j'utilise une autre monade, à savoir Gen, à l'intérieur de la monade d'état. J'ai écrit ma première tentative en utilisant StateT.

arbitraryStringS :: StateT GenState Gen String 
arbitraryStringS = 
    mapStateT stringGenS get 

où:

newtype GenState = St {getStrings :: [String]} 
    deriving (Show) 

removeString :: String -> GenState -> GenState 
removeString str (St xs) = St $ delete str xs 

stringGenS :: Gen (a, GenState) -> Gen (String, GenState) 
stringGenS genStSt = 
    genStSt >>= \(_, st) -> 
    elements (getStrings st) >>= \str -> 
    return (str, removeString str st) 

Quelque chose qui me préoccupe au sujet de cette mise en œuvre est le fait que je ne suis pas en utilisant le premier élément de stringGenS. Deuxièmement, mon objectif final est de définir un générateur aléatoire pour les valeurs JSON, qui utilisent un pool de ressources (qui ne contient pas seulement des chaînes). L'utilisation StateT m'a conduit à mettre en œuvre, je me demandais « stateful » variantes de l » elementsQuickCheck, listOf, etc.

s'il y a une meilleure façon d'y parvenir, ou une telle complexité est inhérente à la définition des variantes stateful de monades existants.

Answer 1

La combinaison de StateT et Gen pourrait ressembler à ceci:

import Control.Monad.State 
import Data.List (delete) 
import Test.QuickCheck 

-- A more efficient solution would be to use Data.Set. 
-- Even better, Data.Trie and ByteStrings: 
-- https://hackage.haskell.org/package/bytestring-trie-0.2.4.1/docs/Data-Trie.html 
newtype GenState = St { getStrings :: [String] } 
    deriving (Show) 

removeString :: String -> GenState -> GenState 
removeString str (St xs) = St $ delete str xs 

stringGenS :: StateT GenState Gen String 
stringGenS = do 
    s <- get 
    str <- lift $ elements (getStrings s) 
    modify $ removeString str 
    return str 

Le problème est que vous avez besoin de l'état, vous ne pouvez pas exécuter plusieurs calculs dans ces Gen tout en partageant l'état. La seule chose raisonnable à faire serait de générer plusieurs chaînes aléatoires uniques ensemble (en utilisant le même état) que

evalStateT (replicateM 10 stringGenS) 

qui est de type GenState -> Gen [String].