22 Jan
2008
22 Jan
'08
4:45 a.m.
2008/1/22 Magnus Therning
I vaguely remember that in GHC 6.6 code like this
length $ map ord "a string"
being able able to generate a different answer than
length "a string"
I guess it's not very difficult to prove that ∀ f xs. length xs == length (map f xs) even in the presence of seq. -- Felipe.