[Haskell-cafe] A suggestion for the next high profile Haskell project

[Neil Mitchell]

Hi

> I don't know if any actual language does this,

What, that is strict and would like to inline things for performance?
There is a reason they can't do this.

> but your inlining problem can
> be solved by letting _|_ = arbitrary behaivor.

So would you allow folding? (inlining = unfolding) i.e. replacing
defined behaviour with _|_?

And how many equational reasoning steps do you have to go, before your
program is totally different?

Equational reasoning is easier in a lazy language.

Thanks

Neil