-
-
Replying to @mergeconflict
@mergeconflict@peterseibel@thiswillwork@sritchie there's a balance between the abstract and concrete. My example still too abstract.1 reply 0 retweets 0 likes -
Replying to @posco
@posco how so? seems very concrete to me. but concerns conflated... you in the office tomorrow? /cc@peterseibel@THISWILLWORK@sritchie1 reply 0 retweets 0 likes -
Replying to @mergeconflict
@mergeconflict@peterseibel@thiswillwork@sritchie The two people this was for couldn't see the use => too abstract. In NYC till Friday.2 replies 0 retweets 0 likes -
Replying to @peterseibel
@peterseibel yeah, so what's the problem you're trying to solve? I have to admit I can't figure out why deferring the logging would be good.1 reply 0 retweets 0 likes -
Replying to @avibryant
@avibryant@peterseibel 1) wanted to let the type checker see the logging. 2) don't side effect until the entire atomic unit is done.1 reply 0 retweets 0 likes -
Replying to @posco
@posco right, so like@peterseibel I understand what you're doing. I still don't understand why. I don't *want* atomic logging. Do I?2 replies 0 retweets 0 likes -
Replying to @avibryant
@posco@peterseibel now, a tracing monad that optionally logged timings and intermediate values, I can definitely see using for debugging...1 reply 0 retweets 0 likes -
Replying to @avibryant
@avibryant@posco@peterseibel isn't that just a different interpreter for the Log results?1 reply 0 retweets 0 likes
@jedws @posco @peterseibel no, what I'm talking about has no explicit calls to log... it's just a logging interpreter.
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.