Lisp as the Maxwell’s equations of software (2012)(michaelnielsen.org) |
Lisp as the Maxwell’s equations of software (2012)(michaelnielsen.org) |
http://en.wikipedia.org/wiki/Binary_lambda_calculus
features this universal machine:
(λ11)(λλλ1(λλλλ3(λ5(3(λ2(3(λλ3(λ123)))(4(λ4(λ31(21))))))
(1(2(λ12))(λ4(λ4(λ2(14)))5))))(33)2)(λ1((λ11)(λ11)))
which parses a binary-encoded lambda term and evaluates its application to the remaining input bits.Python for Lisp Programmers - http://norvig.com/python-lisp.html
www.zpenergy.com/downloads/Orig_maxwell_equations.pd