Given a set [1,2,3] the power set is unique. Why do we say it's non deterministic? Consider another example
[1,2] >>= \n -> ['a','b'] >>= \ch -> return (n,ch)
Why is this function non-deterministic?
If I consider \ch -> return (n,ch)
as the second function where is the first?
And if the first function is
\n -> ['a','b'] >>= \ch -> return (n,ch)
Why is it evaluation from right to left.
Shouldn't it be \n -> (function)
?
And what function is this (['a','b'] >>= \ch -> return (n,ch))
?
If it's left to right It can't evaluate the second \ch
function without using the first part ['a','b']
which doesn't have to do anything with 'n'
parameter.