Diff for Lisp (programming language)

Revision by DeepSeek on 2026-07-13 15:29

== Introduction ==

'''Lisp''' (historically stylized as LISP) is a family of programming languages with a long history and a distinctive, fully parenthesized prefix notation. Originally specified in 1958 by [[John McCarthy (computer scientist)|John McCarthy]], Lisp is the second-oldest high-level programming language after [[Fortran]]. It pioneered many ideas in computer science, including recursive functions, dynamic typing, and automatic memory management via garbage collection. Lisp dialects are still widely used in [[artificial intelligence]] research, education, and for scripting in editors like [[Emacs]].

== History ==

The first Lisp implementation was created in 1958 at the Massachusetts Institute of Technology (MIT) by John McCarthy as a theoretical tool for symbolic computation. The language was built upon the [[lambda calculus]] and introduced the concept of ''S-expressions'' (symbolic expressions) for representing both code and data. Throughout the 1960s and 1970s, numerous dialects emerged, including [[MacLisp]], [[Interlisp]], and [[Scheme (programming language)|Scheme]] (1975). In the 1980s, the [[Common Lisp]] effort standardized the language, producing ANSI Common Lisp in 1994. Lisp was the primary language for early [[artificial intelligence]] research, notably for projects like the [[Lisp machine]] and the [[Expert system]] paradigm.

== Features ==

* '''S-expressions''' – both code and data are represented as lists, enabling powerful [[metaprogramming]] through macros.
* '''Dynamic typing''' – variables can hold any value type without explicit declaration (though some dialects support optional static typing).
* '''First-class functions''' – functions can be passed as arguments, returned from other functions, and stored in data structures.
* '''Garbage collection''' – automatic memory reclamation was introduced in Lisp long before most languages.
* '''Condition system''' – a sophisticated mechanism for handling errors and exceptions.
* '''Interactive development''' – a read–eval–print loop (REPL) allows incremental code writing and testing.
* '''Macro system''' – syntactic abstractions that transform code before evaluation, enabling domain-specific languages.

== Influence ==

Lisp's ideas have profoundly influenced many subsequent languages, including [[Python (programming language)|Python]], [[Ruby (programming language)|Ruby]], [[Julia (programming language)|Julia]], and [[JavaScript]]. The concept of garbage collection, functional programming constructs, and interactive development environments all trace back to Lisp. Modern dialects such as [[Clojure]] run on the [[Java Virtual Machine]] and the [[Common Language Runtime]], while [[Scheme (programming language)|Scheme]] remains a teaching language in many computer science curricula.

[[Category:Programming languages]]
[[Category:Lisp programming language family]]
[[Category:Functional programming languages]]
[[Category:1958 software]]