Changes between Version 8 and Version 9 of Commentary/ResourceLimits


Ignore:
Timestamp:
Mar 8, 2013 9:25:41 AM (14 months ago)
Author:
ezyang
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ResourceLimits

    v8 v9  
    8080=== Support currentCostCentre? === 
    8181 
    82 This is obviously fine to support if you are in IO; however, the situation is dicey when considering pure code; an expression {{{currentCostCentre :: CostCentre}}} is not referentially transparent. Rather, we want some semantics like implicit parameters, but no one really likes implicit parameters. Maybe it’s better just to note support it (and let someone {{{unsafePerformIO}}} if they reaaally  care.) 
     82This is obviously fine to support if you are in IO; however, the situation is dicey when considering pure code; an expression {{{currentCostCentre :: CostCentre}}} is not referentially transparent. Rather, we want some semantics like implicit parameters, but no one really likes implicit parameters. Maybe it’s better to only support it in IO (and let someone {{{unsafePerformIO}}} if they reaaally want to.) 
    8383 
    8484=== Interaction with traditional profiling ===