@peterseibel @THISWILLWORK sketch of a Logging Monad I mentioned in lunch that time: https://gist.github.com/johnynek/5854367 … /cc @sritchie
@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.
-
-
@avibryant@peterseibel 1) wanted to let the type checker see the logging. 2) don't side effect until the entire atomic unit is done. -
@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? -
@avibryant@peterseibel obviously, I think applications exist, but more so I'm interested in the compiler seeing the logging with a type.
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.