1
非決定論をHaskellの機能にする理由は何ですか？
私たちは中にいることを知っているプロローグ - 非決定論的述語がダウン削るために使用される機能です組合せの問題。 Haskell では、List Monadの Prolog と同様の非決定論的な動作が見られます。 Haskellでは、サンクの評価順序の選択に非決定性も見られます。 ただし、これらのサンクのどれを最初に評価するかをGHCに指示するものは何もないため、GHCは最初に評価するサンクを自由に選択できます。 これは魅力的です-そして多少解放されます。これが機能する原理は何でしょうか（8クイーンのようなロジックの問題を回避することは別として）。非決定論で解決しようとしていた大きなアイデアや大きな問題はありましたか？ 私の質問は、非決定論をHaskellの機能にする理由は何ですか？