memory useage of data types in the time package
ml at isaac.cedarswampstudios.org
Fri May 21 19:18:18 EDT 2010
On 05/21/10 09:54, Duncan Coutts wrote:
> This one is especially useful to make smaller since it is used as a
> timestamp in many applications, so there tend to be a lot of them.
> newtype DiffTime = MkDiffTime Pico
> Again, Pico based on Int64 rather than Integer would save space, save an
> indirection and allow further unboxing.
But is it acceptable for the maximum DiffTime to be on the order of 18
million years? (Maybe... but it's less obvious to be alright than
trillions of years is...)
More information about the Libraries