User loginNavigation 
Question about the Monad associativity lawA really dump question... The associativity law states (using Haskell syntax): m >>= (\x > k x >>= h) = (m >>= k) >>= h What I don't understand is why "bind" can be associative. One use of monad is to encapsulate sideeffects. And the order of operations is important when there are sideeffects. If so, why does associativity hold? By sciomako at 20070911 03:58  LtU Forum  previous forum topic  next forum topic  other blogs  9016 reads

Browse archives
Active forum topics 
Recent comments
7 weeks 3 days ago
7 weeks 3 days ago
7 weeks 3 days ago
29 weeks 4 days ago
33 weeks 6 days ago
35 weeks 4 days ago
35 weeks 4 days ago
38 weeks 1 day ago
42 weeks 6 days ago
42 weeks 6 days ago