mrb : home

Lisp is Abstract Syntax

I'm currently working through a bit of Andrew W. Appel's Modern Compiler Implementation in ML both to help me get more solidly grounded in ML and to help me more deeply understand compilers and interpreters. At the end of the chapter on abstract syntax, in the further reading section, I came across this gem of a quote about Lisp and the origins of abstract syntax. I'm not sure if its a spurious tale or not[1], but it's too good of a quote not to share:

"The notion of abstract syntax is due to McCarthy [1963], who designed the abstract syntax for Lisp [McCarthy et al. 1962]. The abstract syntax was intended to be used writing programs until designers could get around to creating a concrete syntax with human-readable punctuation (instead of Lots of Irritating Silly Parentheses), but programmers soon got used to programming directly in abstract syntax."

If the syntax for Lisp was meant to be a stepping stone, but programmers adopting it prevented advancement, perhaps this was the first time that software engineering and computer science's fundamental differences manifested themselves in a way that impacted future directions of both fields.[2]

Thanks to Tom Santero and Greg Pfeil for corrections.

Update: Corrected the wording a bit to reflect the reality in the footnote below.


[1] It's not! I had forgotten about M-Expressions. Practical Common Lisp by Peter Seibel has a good bit about this.

[2] While it's true that the adoption of S-Expressions did lead to macros and many other interesting things, Appel's account remains valuable (or at least entertaining).