Amb: Difference between revisions

3 bytes removed ,  5 years ago
m
Line 1,047:
unamb(join(join(join(w1, w2), w3), w4))</lang>
 
 
===;Comparison with Haskell===:
This can be compared with the Haskell use of lists as a monad to represent choice.
* Haskell uses lazy evaluation; E does not. This implementation does not simulate lazy evaluation with thunks; it is eager (computes every intermediate choice before continuing) and therefore inefficient if you only need one successful result.
Anonymous user