5 ms·
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
by lisper 4y ago
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 https://flownet.com/ron/lambda-calculus.html
- eointierney 4y agoDelightful, thank you
- bobbylarrybobby 4y agoFantastic read, thanks.
- haskellandchill 4y agoThen what is System F?
- invisiblerobot 4y agopolymorphic typed lambda calculus. it's the theoretical basis for ML and Haskell. https://en.wikipedia.org/wiki/System_F https://en.wikipedia.org/wiki/System_F
- invisiblerobot 4y agoOh I see, you were asking rhetorically :)
- haskellandchill 4y agoHa yes, I see it more as a candidate for a maxwell's equations of software engineering than the metacircular interpreter.