Lambda Calculus Interpreter

Post by evilotto » Fri, Jun 14, 2024, 6:51 PM UTC

asplake wrote: post #6

siraben wrote: post #5

Earlier quoted context omitted.

Yeah it terminates. A tiny 63 bit program[0] in this language represents a number unfathomably larger than not only ack(9,9), but the far larger Graham’s Number as well. It originates in a Code Golf challenge asking for the “Shortest terminating program whose output size exceeds Graham’s number”, answered by user Patcail and further optimized by user 2014MELO03. With one final optimization applied. Here's a really sh…

Thanks. A page with examples would be really helpful. The default example (if that what it is) or the shared example would be much more interesting with some context. Or a Show HN, if that’s what’s happening here.