[Haskell-cafe] Documenting strictness properties for Data.Map.Strict

Roman Leshchinskiy rl at cse.unsw.edu.au
Fri Nov 18 10:58:34 CET 2011

Johan Tibell wrote:
>       map (\ v -> undefined)  ==  undefined
>       mapKeys (\ k -> undefined)  ==  undefined

Not really related to the question but I don't really understand how these
properties can possibly hold. Shouldn't it be:

  map (\v -> undefined) x = undefined

And even then, does this really hold for empty maps?


More information about the Haskell-Cafe mailing list