@sdbo Weird thing is that this notion comes from quite bright minds. I've heard it from @edwinbrady too iirc. I must be missing something
-
-
Replying to @edwinbrady
@edwinbrady@EyalL@sdbo There are several ways to define effects. I find commutativity a useful property. You might disagree.1 reply 1 retweet 1 like -
Replying to @odersky
@odersky@edwinbrady@sdbo I think there's consensus about usefulness, but many useful effects just don't commute (nondet, cont, exc, ..)1 reply 0 retweets 1 like -
Replying to @EyalL
@EyalL@edwinbrady@sdbo It depends on what you try to capture with effects. Commutative effects are subset worth studying in isolation.1 reply 1 retweet 2 likes -
Replying to @odersky
@odersky@eyall@edwinbrady That is one angle I've ignored. I would be interested in seeing a pure language with only commuting effects.2 replies 0 retweets 2 likes -
Replying to @sdbo
@sdbo@edwinbrady@eyall@odersky useful for fine grain distinguishing eg "only read from disk" vs "launch missiles" IO I'd think1 reply 1 retweet 1 like -
Replying to @takeoutweight
@takeoutweight@sdbo@edwinbrady@EyalL@odersky Read-only non time-dependent effects can commute in execution order. Monad seems overkill.1 reply 0 retweets 0 likes -
Replying to @pdxleif
@takeoutweight@sdbo@edwinbrady@EyalL@odersky ...which isn't the kind of commuting being disc'd. Sorry; hard to follow a few chars a time1 reply 0 retweets 0 likes -
Replying to @pdxleif
@pdxleif@takeoutweight@edwinbrady@EyalL@odersky np! Comm. eff are nice, I just dislike cargo culting that monads are poor b/c non-comm.1 reply 0 retweets 0 likes
-
-
Replying to @edwinbrady
@sdbo@pdxleif@takeoutweight@eyall@odersky People like to argue X vs Y. But so often it's more like "how can X work usefully with Y"…1 reply 0 retweets 3 likes -
Replying to @edwinbrady
@edwinbrady@pdxleif@takeoutweight@EyalL@odersky Agreed!0 replies 0 retweets 0 likes
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.