David Roundy writes:
It's unfortunate that there's no way to include strictness
behavior in function types (at least that I'm aware of), so one has to rely
on possibly-undocumented (and certainly never checked by a compiler)
strictness behavior of many functions in order to write truly correct
code.
I wish there were a nice way around this issue (but can't really even
imagine one).
I wonder not how to get around, but WHY we can't help the strictness
analyser in a way Clean permits, say:
add :: !Integer -> !Integer -> Integer
I thought it could be done without any serious revolution within the
compiler, but perhaps I am too naïve (which in general is true...)
Jerzy Karczmarczuk
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe