[Haskell-cafe] Problems with strictness analysis?
a.biurvOir4 at asuhan.com
Tue Nov 4 05:35:04 EST 2008
David Menendez-2 wrote:
>> On Mon, 3 Nov 2008, Luke Palmer wrote:
>> I was actually being an annoying purist. "f is strict" means "f _|_ =
>> _|_", so strictness is a semantic idea, not an operational one.
> I think Luke was commenting on the terminology, not the optimization.
> We have a tendency to say "lazy" when we mean "non-strict" and
> "strict" when we mean "eager".
Good point. If it sheds light on such elusive, important distinctions
then this incorrigible pedantry can only be encouraged.
View this message in context: http://www.nabble.com/Problems-with-strictness-analysis--tp20301967p20319740.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe