0

mkStdGenシードとしてフィードする適切な値を見つける必要があります。

私が通常最初に行うことは、エポックの開始以来の目盛りを使用することですが、それを行うにはgetClockTimefromを使用します。ただし、後者はこの機能を公開していないようです。System.Time

この値のシードを生成するより良い方法はありますか? または、非推奨の警告を無視する必要がありますか?

4

2 に答える 2

9

グローバルStdGenは起動時に現在の時刻でシードされるため、これは通常は不要です。したがって、 and を使用randomIOrandomRIOて暗黙的な にIO基づく乱数ジェネレータを使用するかgetStdGen、通常の純粋な関数をより明示的なものにすることができます。

于 2012-07-15T01:20:53.520 に答える
5

getPOSIXTimedocs)をお探しですか?

脚注:これはエポックの開始以降のティック数を返さないことに注意してください。また、返されると主張してはなりません。UTC時間からの不可逆変換に基づいて定義された「POSIX時間」を返します。UTC時間は、最新の変換データベースがない日付間の間隔を決定するのに役立ちません。

于 2012-07-14T23:37:14.013 に答える