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

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Nov 2 16:30:35 EST 2006

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

More information about the Haskell-Cafe mailing list