Re: [Haskell-cafe] Re: Processing of large files

On Thu, Nov 04, 2004 at 10:37:25AM +0300, Alexander Kogan wrote:

Hi!

...

How about this?

let a' = addToFM_C (+) a x 1 in maybe () (`seq` ()) (lookupFM a' x) `seq` a'

It worked for me.

Thank you. It works for me too, but I don't understand why and how ;-)) Could you explain?

Scott's solution forces (lookupFM a' x) to head normal form (or is it weak head normal form). This means that the value of type (Maybe v) is evaluated as much that it is known whether it is Nothing, Just _ or _|_ (bottom). This is probably enough to evaluate the path from FiniteMap's tree root to x. However (lookupFM a' x) in head normal form can be still something like this: Just So we have to force the value at key 'x' also. My code uses maybe, which may obfuscate things a bit. Here's another version, which should be easier to understand: let a' = addToFM_C (+) a x 1 in case lookupFM a' x of Nothing -> a' Just v -> v `seq` a' There are less seq's in this version, because matching (lookupFM a' x) in 'case' will be enough to force it. Best regards, Tom -- .signature: Too many levels of symbolic links