Joe Marshall published two small pieces on early Lisp that show how McCarthy developed the first version of apply and eval (plus a small set of other basics) on top of β-reduction from lambda calculus and how this evolved from a buggy substitution version to call-by-value semantics. and @lisp

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!