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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe