Ken Wesson said:
So what does this piece of code do?
(The purpose can be given in English using five words.)
(funcall (funcall (funcall (lambda (m) (funcall (funcall
(funcall (funcall m (lambda (x) (lambda (x) (lambda (y) y))))
(lambda (x) (lambda (y) x))) (lambda (s) (lambda (z) (funcall
s z)))) (lambda (f) (lambda (x) (funcall (funcall m (funcall
(funcall (funcall (lambda (x) (lambda (n) (funcall (funcall
(funcall (funcall n (lambda (x) (lambda (x) (lambda (y) y))))
(lambda (x) (lambda (y) x))) (lambda (s) (lambda (z) (funcall
s z)))) (lambda (f1) (lambda (x1) (funcall (funcall n (funcall
(funcall (funcall x x) (funcall (funcall (funcall n (lambda
(x) (lambda (z) (funcall (funcall z (funcall (funcall (funcall
x (lambda (x) (lambda (y) x))) (lambda (n) (lambda (s) (lambda
(z) (funcall s (funcall (funcall n s) z)))))) (lambda (s)
(lambda (z) (funcall s z))))) (funcall x (lambda (x) (lambda
(y) x))))))) (lambda (z) (funcall (funcall z (lambda (s)
(lambda (z) z))) (lambda (s) (lambda (z) z))))) (lambda (x)
(lambda (y) y)))) f1)) x1)))))) (lambda (x) (lambda (n)
(funcall (funcall (funcall (funcall n (lambda (x) (lambda (x)
(lambda (y) y)))) (lambda (x) (lambda (y) x))) (lambda (s)
(lambda (z) (funcall s z)))) (lambda (f1) (lambda (x1)
(funcall (funcall n (funcall (funcall (funcall x x) (funcall
(funcall (funcall n (lambda (x) (lambda (z) (funcall (funcall
z (funcall (funcall (funcall x (lambda (x) (lambda (y) x)))
(lambda (n) (lambda (s) (lambda (z) (funcall s (funcall
(funcall n s) z)))))) (lambda (s) (lambda (z) (funcall s
z))))) (funcall x (lambda (x) (lambda (y) x))))))) (lambda (z)
(funcall (funcall z (lambda (s) (lambda (z) z))) (lambda (s)
(lambda (z) z))))) (lambda (x) (lambda (y) y)))) f1))
x1))))))) (funcall (funcall (funcall m (lambda (x) (lambda (z)
(funcall (funcall z (funcall (funcall (funcall x (lambda (x)
(lambda (y) x))) (lambda (n) (lambda (s) (lambda (z) (funcall
s (funcall (funcall n s) z)))))) (lambda (s) (lambda (z)
(funcall s z))))) (funcall x (lambda (x) (lambda (y) x)))))))
(lambda (z) (funcall (funcall z (lambda (s) (lambda (z) z)))
(lambda (s) (lambda (z) z))))) (lambda (x) (lambda (y) y))))
f)) x)))))(lambda (s) (lambda (z) (funcall s (funcall s
(funcall s (funcall s (funcall s z)))))))) (lambda (x) (+ x
1))) 0)