Content deleted Content added
m Sign comment |
→Monad and sequencing: done |
||
Line 74:
The article states that "Since the bind operator is non-associative, this constrains the sequence of execution." Is this really correct? The monad laws require that bind be associative, and the sequencing effect is due to the non-commutative properties of the bind operator. [[User:Chuan-kai Lin|Chuan-kai Lin]] 17:26, 3 April 2006 (UTC)
: I agree. I changed it to read "Since the bind operator is associative and non-commutative, this constrains the execution into a sequence." Because of associativity there is no hierarchy and because of lack of commutativity the operations must act in the given order. --[[User:TuukkaH|TuukkaH]] 06:21, 4 April 2006 (UTC)
| |||