(define (fact-v3 n) ((lambda (f) ((f (f (f (f (f (f (lambda (x) (error "error")))))))) n)) (lambda (g) (lambda (n) (if (= n 0) 1 (* n (g (- n 1)))))))) (define (fact-v3-1 n) ((lambda (f) (lambda (x) ((f f) x))) (lambda (g) (lambda (n) (if (= n 0) 1 (* n ((g g) (- n 1))))))))
https://mastodon.tojo.tokyo/system/media_attachments/files/113/022/206/046/761/985/original/04b513fd94d4a74e.png