Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
required to evaluate certain terms in 5 different implementations; 4 of them with some oracle, and one without, here called Absal. The less rewrites, the better. As you can see, the oracle-free version outperforms most implementations by 2 to 3 orders of magnitude. YALE comes close, but its rewrite