В 1960 Джон Маккарти опубликовал выдающуюся статью, в которой он сделал для программирования примерно то же, что Евклид когда-то сделал для геометрии. Он показал, как имея в наличии только простые операторы и представление для функций, можно создать целый язык программирования.
Lisp - это целое множество языков программирования, код программ в которых, также как и данные, представляются системами линейных списков символов. Lisp считается вторым в истории высокоуровневым языком программирования после Фортрана и применяется до сих пор. Как и Фортран, Lisp претерпевал большие изменения в течение своей жизни и имел несколько диалектов. На сегодняшний день наиболее широкую известность приобрели диалекты «Common Lisp» и «Scheme».
Система типов в Lisp'е имеет динамическую структуру. Будучи функциональным языком, Lisp в своих последних версиях обладает признаками императивности, а также, имея возможности символьной обработки, делает возможным реализовать объектно-ориентированность.
Вначале Lisp применялся для символьной обработки данных, а также в областях, связанных с процессами принятия решений. В настоящее же время, пожалуй, самый популярный на сегодня диалект можно назвать универсальным языком программирования. Он активно применяется для решения самых разнообразных задач.
Цитата Джона Маккарти
«В настоящее время LISP является вторым старейшим языком программирования, широко используемым в настоящее время (после FORTRAN)… Его ядро занимает своего рода локальный оптимум в пространстве языков программирования, поскольку статическое трение препятствует чисто нотационным изменениям. Рекурсивное использование условных выражений, представление символической информации извне списками и внутренне структурой списков, а также представление программы одинаковым образом, вероятно, будет иметь очень длительный срок службы ».
