[Haskell-cafe] A suggestion for the next high profile Haskell
ndmitchell at gmail.com
Tue Dec 19 15:57:33 EST 2006
> 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.
More information about the Haskell-Cafe