0
ランダムジェネレータデータ型でデータ型をパラメータ化するにはどうすればよいですか? 私はこの試みた:ランダムジェネレータデータ型でパラメータ化されたHaskellデータ型
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.
それから、それはより少ない多形性である。おそらく、彼は 'data DataType a = DataConstr a'を望んでいるでしょう。つまり、型宣言ではなく、 'DataType'を使って関数に制約を置く必要があります。 –