[haskell-cafe] Monad and kinds
catamorphism at gmail.com
Thu Sep 4 11:19:40 EDT 2008
On 9/3/08, wren ng thornton <wren at freegeek.org> wrote:
> If you want the datatype to be strict in state and rec, then you should add
> strictness annotations to those fields directly:
> data Query state rec = Query !state !rec
The novice programmer scatters strictness annotations to and fro like
dust in the wind. The average programmer understands that annotating a
field's strictness injudiciously is like discarding the finger
pointing at the moon when you might still need it to scratch yourself.
The master programmer does not add strictness annotations, for she has
not yet run the profiler.
Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt
"Science fiction is not predictive; it is descriptive." --Ursula K. Le Guin
More information about the Haskell-Cafe