Common Lisp, the mud ball of strength, [is] the acting patriarch of the Lisp family. CL was shaped by engineering concerns more than by the quest for conceptual clarity. But despite its practical applicability, CL offers DEFUN sadly absent from mainstream hacking. -- the Tao Of Recursion
Descended from one of the oldest surviving programming languages (only Fortran is older), Common Lisp is the first language with integrated support for Object Oriented Programming to get ANSI standardized.
I thought Ada 95 was... Actually it was maybe the first ISO standardized one.
It is a rich language with clear semantics which allows programming in procedural, functional, object oriented and logical (rule based) style all in the same program.
It's big, making it somewhat of a Career Language. Depending on your viewpoint, Common Lisp is either a very large language, or a very small language with a single big library. Opinions about it are often polarised: what one man calls "the sum of years of wisdom as to what actually works and is needed in production systems", another may characterise as "decades worth of ad-hoc fudges" and reminiscent of Fortran.
Common Lisp has, at least (standardized)
A well designed, well integrated object system (Common Lisp Object System, short CLOS)
A well designed exception/condition handling mechanism
A not so easy to use/understand, but working, Package system
Support for Runtime Compilation
and often
Multi-threading (every commercial vendor)
A Meta Object Protocol (the MOP is supplied in most implementations)
For further information:
The Association Of Lisp Users maintains the Alu Wiki.
The Common Lisp Hyper Spec - the ANSI language standard marked up in HTML
The Common Lisp Object System Meta Object Protocol is described in the book The Art Of The Meta Object Protocol and at www.lisp.org .
A list of Definitive Common Lisp Books
For free stuff (free as in Free Software), www.cliki.net
For searchable documentation, lispdoc.com
For a much smaller and arguably more elegant language, also see Scheme Language. There is an interesting comparison between the Common Lisp and Scheme communities in the Worse Is Better paper. Fans of both languages often fail to communicate because they've got different standards and goals.
Based on contributions by Keith Braithwaite, Alain Picard, Lieven and others.
Common Lisp has first class functions, i.e. functions are objects which can be created at runtime, and passed as arguments to other functions. --Alain Picard
These first-class functions also have their own state, so they are functors. All Lisp functions are functors; there is no separation between functions that are "just code" and "function objects".
The state takes the form of captured lexical variable bindings. You don't need to use LAMBDA to capture bindings; a top-level DEFUN can do it too:
(let ((private-variable 42)) (defun foo () ...))
The code in the place of ... sees private-variable in its lexical scope. There is one instance of this variable associated with the one and only function object that is globally tied to the symbol FOO; the variable is captured at the time the DEFUN expression is evaluated. This variable then acts something like a static variable in C. Or, alternately, you can think of FOO as a "singleton" object with an "instance variable".
Common Lisp functions are closures (see Lexical Closure).
Common Lisp Generic Functions are first-class functions also. This means you can indirect upon generic functions. This is what the Visitor Pattern is all about; but it's built into the Lisp language so you can do it in one line. (walk-my-object #'with-this-gf my-object)
In fact, with plain old MAPCAR you can do the visitor pattern:
;; ``visit'' every element of the list, which can be heterogeneous collection of CLOS ;; objects or built-in types.
(mapcar #'foo-generic-function object-list)
Now foo-generic-function can be specialized for different types. A good example of this is the standard PRINT-OBJECT, which is what you specialize with a method to allow an object to be printable to a stream.
(mapcar #'print-object object-list) ;; visit each object and print it.
This practice is not only common, but institutionalized. For example, in the OO world you hear a good deal about "patterns". I wonder if these patterns are not sometimes evidence of case (c), the human compiler, at work. When I see patterns in my programs, I consider it a sign of trouble. The shape of a program should reflect only the problem it needs to solve. Any other regularity in the code is a sign, to me at least, that I'm using abstractions that aren't powerful enough-- often that I'm generating by hand the expansions of some macro that I need to write. -- www.paulgraham.com
The first time I used Common Lisp, I was surprised to see people using symbols where I would have used strings. Sometimes these symbols don't have values at all (or their values are themselves). It reminds me of Wiki Tags.
Lisp is an interesting and fairly controversial language. Perhaps some of the Smug Lisp Weenies could have a crack at Lisp Questions to elucidate us all.
the mudball of strength: see Joel Moses On Apl And Lisp.
I'd dispute the hard-to-understandness of the package system: Most often it seems to be simply misunderstood due to books on CL leaving it too late, so that by the time it is explained the reader has already developed mental models about it that are both wrong and hard to break. The package system is essential enough that it should be dealt with right after explaining REPL interaction, sexps, defun, and other basics -- probably before getting to lambda and defmacro, I'd say.
Simplified Wrapper And Interface Generator (SWIG) can be used to make calls to Cee Language or Cee Plus Plus code.
See also: Lisp Language, Why We Love Lisp, Common Lisp Macro Examples, Quick Lisp, Another System Definition Facility
See original on c2.com