1
Apa alasan di balik menjadikan non-determinisme sebagai fitur Haskell?
Kita tahu bahwa di Prolog - predikat non-deterministik adalah fitur yang digunakan untuk mengurangi masalah kombinatorial . Di Haskell kita melihat beberapa perilaku non-deterministik serupa dengan Prolog di Daftar Monad . Dalam Haskell kita juga melihat non-determinisme dalam memilih urutan evaluasi thunk : Tetapi tidak ada yang mengatakan pada GHC …