Re: [Haskell-cafe] Why is this strict in its arguments?

Roberto Zunino wrote:

Neil Mitchell wrote:

...

...

is there any automated way to know when a function is strict in its arguments?

Yes, strictness analysis is a very well studied subject -

...and is undecidable, in general. ;-)

*thinks* Conjecture #1: All nontrivial properties of a computer program are undecidable in general. *thinks more* Conjecture #2: Conjecture #1 is undecidable...