[Haskell-cafe] Re: Haskell-Cafe Digest, Vol 39, Issue 6

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com