[Haskell-cafe] Re: Displaying # of reductions after eachcomputation
apfelmus at quantentunnel.de
Mon Jan 14 17:35:22 EST 2008
Ben Franksen 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?
Yes and no, a single beta reduction step like
may take 5 steps in some reduction strategies since you have to walk
down the expression tree to find the variable and replace it with its
value. In the end, seconds are a better measure for time :)
More information about the Haskell-Cafe