Lambda Calculus Addition

(define add (lambda (x) ( ( ( ( (lambda (___) (lambda (x) (lambda (y) (lambda (z) (lambda (_) (lambda (h) (((((h ___) x) y) z) - ))))))) (lambda (x) ((x (lambda (y) (lambda (x) y))))) ((lambda (x) ((lambda (x) (lambda (y) (lambda (z) (lambda (_) (lambda (___) x))))))) x))) ( (lambda (x) ( ( (lambda (x) (lambda (y) ( (lambda (x) ( ( ( ( (lambda (x) (lambda (y) (lambda (z) ( ( (x x) ( ( (lambda (x) (lambda (y) ( ( (x y) y) ( (lambda (x) (lambda (y) (lambda (_) ( ( (_ x) y) (lambda (x) (lambda (x) (lambda (z) z )))))))))))))))) ))))))

A dense Lisp-style lambda calculus expression defines an addition function using deeply nested anonymous functions and parentheses. The joke is that a simple operation has been made hilariously unreadable and intimidating, a reaction for programmers—especially Lisp or functional-programming enthusiasts—who enjoy absurdly complicated code. EN: A dense Lisp-style lambda calculus expression defines an addition function using deeply nested anonymous functions and parentheses. The joke is that a simple operation has been made hilariously unreadable and intimidating, a reaction for programmers—especially Lisp or functional-programming enthusiasts—who enjoy absurdly complicated code.

• @profunctor_io / 659 2018-02-22