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

Neil Mitchell ndmitchell at gmail.com
Tue Dec 19 15:57:33 EST 2006


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


More information about the Haskell-Cafe mailing list