@peterseibel @THISWILLWORK sketch of a Logging Monad I mentioned in lunch that time: https://gist.github.com/johnynek/5854367 … /cc @sritchie
@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.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@posco@peterseibel now, a tracing monad that optionally logged timings and intermediate values, I can definitely see using for debugging... -
@avibryant@posco@peterseibel isn't that just a different interpreter for the Log results? -
@jedws@posco@peterseibel no, what I'm talking about has no explicit calls to log... it's just a logging interpreter.
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.