Joachim> point taken, if you are already building on a transformer Joachim> stack, adding yet another layer is not a problem. I’m having Joachim> mainly pure code in mind.
I think we need an other word than "pure" here. Usually, we understand "pure" as "always producing the same result when given the same parameters". Here, "always" really means "always", and does not depend on the run-time context of the program. So obviously, a really pure function can't use side-effect run-time constants. IIUC, what you want is "run-time qualified" functions, or functions that "In the scope of a run, always produce the same result when given the same parameters". Is that right ? -- Paul _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe