Hello Chad, Thursday, November 2, 2006, 8:49:17 PM, you wrote: > Would it be possible for the type system to distinguish at compile > time whether something would need to be evaluated, and optimize away > redundant `seq`s? Maybe this is what the strictness analyzer does > already.
afaik, seq cost is zero (except for evaluating expressions, of course) -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
