[Haskell-cafe] Re: Re: Displaying # of reductions after eachcomputation in ghci?

Lennart Augustsson lennart at augustsson.net
Tue Jan 15 00:18:43 EST 2008

In lambda calculus you can take a beta reduction as the step.
But Haskell is not normally implemented by lambda calculus so you have to
pick something else.
There are measures of reduction that you can come up with but they will
vary, e.g., by compiler, optimization level, etc.
I think time is a much more interesting measure, since that's what you
really care about in the end.

On Jan 14, 2008 2:03 PM, Ben Franksen <ben.franksen at online.de> wrote:

> Lennart Augustsson wrote:
> > What is a reduction anyway?
> I am not an expert but I thought in lambda calculus one has primitive
> rules
> for evaluation, e.g. beta reduction. So a reduction is a 'smallest step'
> in
> reducing an expression to normal form, no?
> Cheers
> Ben
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080114/6a504fcc/attachment.htm

More information about the Haskell-Cafe mailing list