User loginNavigation |
archivesQuestion 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 side-effects. And the order of operations is important when there are side-effects. If so, why does associativity hold? |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 11 hours ago
51 weeks 4 days ago
51 weeks 4 days ago