Haskell：从 Data.Random 中的 RVar 中获取值

Question

如何编写具有类型签名的函数，例如：

mySample :: StdGen -> Int -> [a] -> [a]

根据

sample :: Int -> [a] -> RVar [a]

Data.Random.Extras？这里，sample 是一个函数，它从给定列表中返回一个随机子列表。

Answer 1

根据文档< /a>，这应该可以工作：

mySample :: StdGen -> Int -> [a] -> [a]
mySample g n xs = fst $ sampleState (sample n xs) g

但是，在尝试编译它时，我遇到了重叠的实例错误。不过，我得到了这个编译：

mySample :: StdGen -> Int -> [a] -> [a]
mySample g n xs = evalState (runRVar (sample n xs) StdRandom) g