nested-strict-dataNested strict data in Haskell Introduction Every so often someone bemoans the space leaks that can arise due to Haskell’s laziness. A frequently touted remedy is to make data stricter by turning on BangPatterns, by defining data structures with explicitly strict fields, or by creating implicitly strict fields with the StrictData extension. Each of these approaches leaves something to be desired. I
make-invalid-laziness-unrepresentable
data-map-strict-map-not-strict-map
nested-strict-data
simplifying-typeclasses
mysterious-incomposability-of-decidable
