4 ms·
It’s still just an infinite series of substitutions.
by empath75 8y ago
It’s still just an infinite series of substitutions.
- kazinator 8y agoThat's a failure to reduce, showing that the reduction by substitution is an incomplete evaluation strategy at best. The Y combinator works under call-by-value and other strategies; you can stick it in production code, if you're so inclined.