Abstract
LISP has survived for 21 years because it is an approximate local optimum in the space of programming languages. However, it has accumulated some barnacles that should be scraped off, and some long-standing opportunities for improvement have been neglected. It would benefit from some co-operative maintenance especially in creating and maintaining program libraries. Computer checked proofs of program correctness are now possible for pure LISP and some extensions, but more theory and some smoothing of the language itself are required before we can take full advantage of LISP's mathematical basis.
Cite
CITATION STYLE
McCarthy, J. (1980). LISP - Notes on its past and future. In Proceedings of the 1980 ACM Conference on LISP and Functional Programming, LFP 1980 (pp. v–viii). Association for Computing Machinery, Inc. https://doi.org/10.1145/800087.802782
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
