|Version 1 (modified by diatchki, 9 years ago) (diff)|
- It provides a mechanism to allow an effective, systematic tracking down of a class of space leaks.
- It provides a mechanism to simply stomp on a class of space leaks.
- It avoids the user having to explicitly declare instances for a homebrew deepSeq for every type in your program.
- It has a declarative feel; this expression is hyper strict.
- Is a specification of strictness.
- It will open up various optimization opportunities, avoiding building thunks. (I dont talk about this more, but I'm happy to elaborate)
- It can have an efficient implementation, or a simple (slow) implementation. (The fast implementation one can be used to stomp space leaks, the slow one can help find the same leaks.)
- We can ensure that there are no exceptions hiding inside a data structure.
- We can throw an exception, and know that there are no exceptions hidding inside it. (are there exceptions in Haskell'?)
What is being proposes for Haskell' are four things:
Add a strict function into Haskell'
strict :: a -> a
- I do not really care if its in a class or not; would prefer not for the reasons John Hughes talked about.
- This would Deep Seq all its children for regular constructors.
- strict would not indirect into IO or MVar.
- functions would be evaluated to (W?)HNF.
- IO, ST are functions under the hood for the purpose of strict.
Add a $!! function, and a deepSeq function
f $!! a = strict a `seq` f a deepSeq a b = strict a `seq` b
We use strict as our primitive, rather than deepSeq. The expressions (x deepSeq y deepSeq z) and (strict x seq strict y seq z) are equivalent, but only the latter makes it clear that z doesn't get fully evaluated.
Add a !! notation, where we have ! in datatypes.
data StrictList a = Cons (!!a) (!!StrictList a) | Nil
Add a way of making *all* the fields strict/hyperstrict.
data !!StrictList a = ..
We could also do this for !
strict :: a -> a strict a@(RAW_CONS <is_deep_seq'd_bit> ... fields )) = if <is_deep_seq'd_bit> == True then return a /* hey, we've already deepSeq'd this */ else do strict# (field_1) strict# (field_2) ... strict# (field_N) /* we set the test bit after the recursive calls */ set <is_deep_seq'd_bit> to True. return a strict a@(REF/MVAR...) = return a
We check the deep_seq'd but *after* evaluating children.
- This Stops the (mis)use of strict to observe cycles.
- With this order, we do not need to catch exceptions.
- Should there be a DeepSeq? class?
- Perhaps have an unsafeStrict :: a → IO a, that tags the deep_seq'd bit when descending.
- What would you expect to happen here?
f x xs = let g y = x+y in map !! g xs
Here I'm evaluating the function g hyperstrictly before the call
to map. Does x, the free variable in g's function closure, get evaluated?
- Should we have the property strict g === strict . g . strict
- Another option would be for the DeepSeq? class (or whatver) have a depth limited version,
deepSeqSome :: DeepSeq a => Int -> a -> a
which would only traverse a limited depth into a structure.