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

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