Lisp
John McCarthy published Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I [McC60] in the April 1960 edition of Communications of the ACM (CACM), describing the development of the Lisp system by the Artificial Intelligence group at the Massachusetts Institute of Technology.[75] Lisp’s general structure took its cues from the lambda calculus.
McCarthy and his team included Church’s notions of anonymous functions, functions as first- and higher-order structures. They also extended the lambda-calculus’s propositional and predicate functions (true, false, and, or, not, and other logic) into conditional expressions, making it easy to compute a recursive function without falling into an infinite loop. Lisp also ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access