[Haskell-cafe] Are constructors strict?
dmehrtash at gmail.com
Thu Jan 20 22:18:45 CET 2011
I am having hard time understanding the following paragraph in "Purely
functional Lazy non-deterministic programing" paper
The problem with the naive monadic encoding of non-determinism is that the
arguments to a constructor must be deterministic. If these arguments are
themselves results of non-deterministic computations, these computations
must be performed completely before we can apply the constructor to build a
Why does the argument to constructors must be deterministic? WHy is it
that thunks are not used in this case?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe