使用随机生成器数据类型

Question

如何使用随机生成器数据类型对数据类型进行参数化？ 我试过这个：

data DataType g = Data (RandomGen g)

但是我得到了

Predicate `RandomGen g' used as a type
In the type `RandomGen g'
In the definition of data constructor `Data'
In the data declaration for `DataType'
Failed, modules loaded: GameState.

Answer 1

RandomGen是类型类，而不是类型。如果适合您，请使用StdGen。而且它没有被任何参数化，所以你只需要data DataType = Data StdGen。