Fork me on GitHub

New Lisp by Paul Graham. Seems to go back to Lisp roots, in particular the tradition of defining the language in terms of itself without implementing it.


What I'm missing here is a rationale for this new Lisp: what problems does it solve, what is it good at?


It seems to be more of an experiment than an actual language. There's no implementation nor a concrete plan to make one. The rationale is: programming languages are developed mostly through their implementation, what kind of Lisp do we get when we skip the implementation part and all the constraints that come with it?

✔️ 4

Why do this? Why prolong the formal phase? One answer is that it's
an interesting exercise in itself to see where the axiomatic approach
leads. If computers were as powerful as we wanted, what would
languages look like?