Nesting interpreters A friend of mine enquired about my experience with Lévy-optimal evaluation of lambda calculus, to which I replied: I've tried various others and found them horribly slow on actual benchmarks despite their optimality. So I prefer simple (and hence non-opimal) runtimes that are pretty quick in practice, namely combinator graph reduction such as…