From 4709ad20c00701dca9208997b78506ea37f7dd7c Mon Sep 17 00:00:00 2001 From: Benson Chu Date: Thu, 5 Dec 2024 20:22:39 -0600 Subject: [PATCH] The y contaminator, revised --- examples/sandbox.txt | 45 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) diff --git a/examples/sandbox.txt b/examples/sandbox.txt index 8ca88ad..a628e02 100644 --- a/examples/sandbox.txt +++ b/examples/sandbox.txt @@ -6,3 +6,48 @@ (let x (+ 1 2) (+ x 1)) +(def Y + (lambda (f) + (lambda (x) + ((lambda (y) + ((f (lambda () + (y y))) + x)) + (lambda (y) + (lambda (x2) + ((f (lambda () + (y y))) + x2))))))) + +(def yfib + (lambda (f) + (lambda (x) + (if/else (<= x 1) + x + (+ ((f) (- x 1)) + ((f) (- x 2))))))) + +((Y yfib) 6) + +(def fib + ((lambda (f) + (lambda (x) + ((lambda (y) + ((f (lambda () + (y y))) + x)) + (lambda (y) + (lambda (x2) + ((f (lambda () + (y y))) + x2)))))) + (lambda (f) + (lambda (x) + (if/else (<= x 1) + x + (+ ((f) (- x 1)) + ((f) (- x 2)))))))) + +(fib 6) + +;; ((yfib yfib) 3)