Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
the same, but the practical performance of the algorithm goes downhill because rewrite counts are increased by large constants. Here is a visualization: Rewrite rules required to reduce some λ-terms in different implementations This table compares the number of graph rewrite rules (thus, time)