[lisper]

This is one of the most mind-blowing things I have ever seen. Words fail me, so I'll appropriate some of the author's:

"Lisp has been described by Alan Kay as the Maxwell’s equations of software. In the same sense, I believe that lambda calculus is the particle physics of computation. LambdaLisp may therefore be a gigantic electromagnetic Lagrangian that connects the realm of human-friendly programming to the origins of the notion of computation itself."

BTW, if you have no idea what is going on here, eight years ago I took a whack at writing a gentle introduction to this same sort of thing, but done in a more half-assed way, and with a much less ambitious scope:

https://flownet.com/ron/lambda-calculus.html

[eointierney]

Delightful, thank you

[bobbylarrybobby]

Fantastic read, thanks.

[haskellandchill]

Then what is System F?

[invisiblerobot]

polymorphic typed lambda calculus.

it's the theoretical basis for ML and Haskell.

https://en.wikipedia.org/wiki/System_F

[invisiblerobot]

Oh I see, you were asking rhetorically :)

[haskellandchill]

Ha yes, I see it more as a candidate for a maxwell's equations of software engineering than the metacircular interpreter.