Inside 214-1E

Existential Pontification and Generalized Abstract Digressions

Changes to IntMap

As it stands, it is impossible to define certain value-strict operations on IntMaps with the current containers API. The reader is invited, for example, to try efficiently implementing map :: (a -> b) -> IntMap a -> IntMap b, in such a way that for a non-bottom and non-empty map m, (\_ -> undefined) […]

  • August 1, 2011