QuickCheckを使用した文字列プールからのランダムな文字列の生成

Question

文字列を選択した後、再度繰り返すことができないように、文字列を生成するという問題を考えてみましょう。この作業のために、QuickCheckのGen関数を使用したいと思います。

私が書こうとしている関数のタイプを見ると、それは状態モナドのように見えます。私は別のモナド、すなわちGenを使用しているので、モナドの中にあります。私はStateTを使って私の最初の試みを書いた。

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

：この実装について私にトラブル

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) 

何かが、私はstringGenSの最初の要素を使用していないという事実です。次に、私の最終目標は、リソースプール（文字列だけでなく）を使用するJSON値用のランダムジェネレータを定義することです。 StateTを使用すると、私はこれを達成するためのより良い方法があるのか​​どうか迷った、または、そのような複雑さは、既存のモナドのステートフルバリアントを定義するに固有の

など、QuickCheckさんelements、listOfの「ステートフル」の変種を実装するために私を導きました。

Answer 1

StateTとGenの組み合わせは次のようになります。

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 

問題は、あなたが状態を必要とするような状態を共有しながら、あなたはGenに複数のそのような計算を実行することはできませんということです。行うための唯一の合理的な事はタイプGenState -> Gen [String]である

evalStateT (replicateM 10 stringGenS) 

と（同じ状態を使用して）一緒に複数のランダムユニークな文字列を生成することであろう。