RNGがシードされていても、セットから疑似ランダム要素を選択しようとすると、非決定論的な動作が発生します。なぜこれが起こっているのですか、ほかのPythonデータ型も同様の動作をすると思いますか? 注:これはPython 2.7でのみテストしましたが、2つの異なるWindowsコンピュータで再現可能です。 類似した問題:Python random seed not working with Gen
私は、Haskellでよく使われるCoqの非決定性(MonadPlusや一般的なリストよりもあまり知られていない)のあまり知られていないモナド符号化をモデル化しようとしました。例えば、リストのエンコーディングは、Coqの対応する定義が以下のようになるのに対して、リストのエンコーディングは、 data List m a = Nil | Cons (m a) (m (List m a))
のように