Лисп (язык программирования)

«ЛИСП» перенаправляется сюда. О дефектах речи см. Lisp . Чтобы узнать о других значениях, см. Лисп (значения) .

Лисп

Парадигма	Мультипарадигма : функциональная , процедурная , рефлексивная , мета.
Разработано	Джон Маккарти
Разработчик	Стив Рассел , Тимоти П. Харт, Майк Левин
Впервые появился	1960 год ( 1960 )
Дисциплина набора текста	Динамичный , сильный
Диалекты
Дуга АвтоЛИСП Кложур Общий Лисп Эмакс Лисп EuLisp Франц Лисп ЦЕЛЬ Он Интерлисп ИСЛИСП ЛеЛисп ЛФЭ Маклисп леев новыйLISP НОЛЬ Пиколис Портативный стандартный Лисп Ракетка РПЛ Схема НАВЫК Спайс Лисп Т Зеталисп
Под влиянием
Язык обработки информации (IPL)
Под влиянием
КЛИПЫ КЛУ КОУСЕЛ Дилан Эликсир Эксель Форт Хаскелл Этот ярмо JavaScript Юлия Логотип Два МЛ Nim Нет ОПС5 Перл ПОП-2 / 11 Питон р Ребол Красный Рубин Скала Быстрый Болтовня Ткл Вольфрам Язык

Лисп (исторически LISP , аббревиатура от «обработка списков») — это семейство языков программирования с долгой историей и характерной , полностью заключенной в круглые скобки префиксной нотацией . Первоначально разработанный в конце 1950-х годов, это второй по возрасту язык программирования высокого уровня, до сих пор широко используемый, после Фортрана . Лисп изменился с первых дней своего существования, и множество диалектов на протяжении его истории существовало . Сегодня наиболее известными диалектами Lisp общего назначения являются Common Lisp , Scheme , Racket и Clojure .

Первоначально Lisp был создан как практическая математическая система обозначений для компьютерных программ под влиянием (но изначально не производного от) обозначение Алонсо Чёрча лямбда-исчисления . Он быстро стал излюбленным языком программирования для исследований искусственного интеллекта (ИИ). Будучи одним из самых ранних языков программирования, Лисп стал пионером многих идей в информатике , включая древовидные структуры данных , автоматическое управление хранилищем , динамическую типизацию , условные выражения , функции высшего порядка , рекурсию , саморазмещающийся компилятор . и цикл чтения-оценки-печати .

Название LISP происходит от «LISt Processor». Связанные списки Lisp — одна из основных структур данных , а исходный код Lisp состоит из списков. Таким образом, программы на Лиспе могут манипулировать исходным кодом как структурой данных, создавая макросистемы, которые позволяют программистам создавать новый синтаксис или новые предметно-ориентированные языки, встроенные в Лисп.

Взаимозаменяемость кода и данных придает Lisp мгновенно узнаваемый синтаксис. Весь программный код записывается в виде s-выражений или списков в круглых скобках. Вызов функции или синтаксическая форма записывается в виде списка, в котором сначала имя функции или оператора, а затем аргументы; например, функция f который принимает три аргумента, будет называться как (f arg1 arg2 arg3).

История

Джон Маккарти (вверху) и Стив Рассел

Джон Маккарти начал разработку Lisp в 1958 году, когда он работал в Массачусетском технологическом институте (MIT). Маккарти опубликовал свой дизайн в статье в журнале Communications of ACM в апреле 1960 года под названием «Рекурсивные функции символических выражений и их машинное вычисление, часть I». Он показал, что с помощью нескольких простых операторов и обозначений анонимных функций, заимствованных у Чёрча, можно построить полный по Тьюрингу язык алгоритмов.

Язык обработки информации был первым языком искусственного интеллекта , появившимся в 1955 или 1956 году, и уже включал в себя многие концепции, такие как обработка списков и рекурсия, которые стали использоваться в Лиспе.

В исходной записи Маккарти использовались « М-выражения », заключенные в квадратные скобки, которые можно было перевести в S-выражения . Например, М-выражение car[cons[A,B]] эквивалентно S-выражению (car (cons A B)). Как только Lisp был реализован, программисты быстро решили использовать S-выражения, и от M-выражений отказались. М-выражения снова всплыли на поверхность после недолгих попыток MLisp Горация Энеа и CGOL Воана Пратта .

Lisp был впервые реализован Стивом Расселом на компьютере IBM 704 с использованием перфокарт . Рассел прочитал статью Маккарти и понял (к удивлению Маккарти), что функция eval в Лиспе может быть реализована в машинном коде .

По мнению Маккарти

Стив Рассел сказал, смотри, почему бы мне не запрограммировать этот eval ... и я ему сказал: хо-хо, ты путаешь теорию с практикой, этот eval предназначен для чтения, а не для вычислений. Но он пошел дальше и сделал это. То есть он скомпилировал eval . из моей статьи в IBM 704 машинный код , исправив ошибки , а затем рекламировал это как интерпретатор Лиспа, что, безусловно, и было Итак, на тот момент Лисп по сути имел ту форму, которую он имеет сегодня...

Результатом стал работающий интерпретатор Лиспа , который можно было использовать для запуска программ на Лиспе или, точнее, «оценки выражений Лиспа».

Два макроса языка ассемблера для IBM 704 стали примитивными операциями для декомпозиции списков: car ( Содержимое адресной части номера регистра ) и cdr ( Содержимое декрементной части номера регистра ), где «регистр» относится к регистрам (ЦП) компьютера центрального процессора . Диалекты Lisp до сих пор используют car и cdr ( / k ɑːr / и / ˈ k ʊ d ər / ) для операций, которые возвращают первый элемент в списке и остальную часть списка соответственно.

Первый полноценный компилятор Lisp, написанный на Lisp, был реализован в 1962 году Тимом Хартом и Майком Левином в Массачусетском технологическом институте. Его можно было скомпилировать, просто заставив существующий интерпретатор LISP интерпретировать код компилятора, создавая выходные данные машинного кода , которые можно было выполнить со скоростью 40 секунд. -кратное увеличение скорости по сравнению со скоростью переводчика. Этот компилятор представил модель инкрементной компиляции Lisp , в которой скомпилированные и интерпретируемые функции могут свободно смешиваться. Язык, использованный в записке Харта и Левина, гораздо ближе к современному стилю Лиспа, чем более ранний код Маккарти.

Правила сбора мусора были разработаны аспирантом Массачусетского технологического института Дэниелом Эдвардсом еще до 1962 года.

В течение 1980-х и 1990-х годов были предприняты большие усилия по объединению работы над новыми диалектами Lisp (в основном преемниками Maclisp , такими как ZetaLisp и NIL (новая реализация Lisp) в один язык. Новый язык, Common Lisp , был в некоторой степени совместим. с замененными им диалектами (в книге Common Lisp the Language отмечается совместимость различных конструкций). В 1994 году ANSI опубликовал стандарт Common Lisp «ANSI X3.226-1994 Язык программирования информационных технологий Common Lisp».

Подключение к искусственному интеллекту

С момента своего создания Lisp был тесно связан с исследовательским сообществом в области искусственного интеллекта , особенно в отношении PDP-10. системы. Lisp использовался как реализация языка Micro Planner , который использовался в знаменитой системе искусственного интеллекта SHRDLU . В 1970-х годах, когда исследования искусственного интеллекта породили коммерческие ответвления, производительность существующих систем Lisp стала растущей проблемой, поскольку программистам необходимо было знать влияние на производительность различных методов и вариантов реализации Lisp.

Генеалогия и варианты

За свою шестидесятилетнюю историю Лисп породил множество вариаций основной темы языка S-выражений. Более того, каждый данный диалект может иметь несколько реализаций — например, существует более десятка реализаций Common Lisp .

Различия между диалектами могут быть весьма заметными — например, Common Lisp использует ключевое слово defun чтобы назвать функцию, но Scheme использует define. Однако в рамках стандартизированного диалекта соответствующие реализации поддерживают один и тот же базовый язык, но с разными расширениями и библиотеками.

значимые

Машина Lisp в музее Массачусетского технологического института

4.3BSD от Университета Висконсина , отображающая страницу справочную Franz Lisp.

• ЛИСП 1 – Первая реализация.
• ЛИСП 1.5 – Первая широко распространенная версия, разработанная Маккарти и другими сотрудниками Массачусетского технологического института. Назван так потому, что он содержал несколько улучшений по сравнению с исходным интерпретатором «LISP 1», но не представлял собой серьезной реструктуризации, как запланированный LISP 2 .
• Стэнфордский ЛИСП 1.6 – Преемник LISP 1.5, разработанный в Стэнфордской лаборатории искусственного интеллекта и широко распространяемый в PDP-10, системах работающих под управлением операционной системы TOPS-10 . Maclisp и InterLisp сделали его устаревшим.
• Маклисп MIT – MACLISP, разработанный для проекта MAC , является прямым потомком LISP 1.5. Он работал на системах PDP-10 и Multics . MACLISP позже стал называться Maclisp и часто упоминается как MacLisp. «MAC» в MACLISP не имеет отношения к Apple Macintosh или McCarthy .
• Интерлисп — разработан в BBN Technologies для систем PDP-10 под управлением операционной системы TENEX , позже принят как Lisp «Западного побережья» для машин Xerox Lisp как InterLisp-D . Небольшая версия под названием «InterLISP 65» была опубликована для MOS Technology 6502 на базе 8-битных компьютеров Atari . Maclisp и InterLisp были сильными конкурентами.
• Франц Лисп – первоначально Калифорнийского университета в Беркли проект ; позже разработано компанией Franz Inc. Название представляет собой юмористическую деформацию имени « Франц Лист » и не относится к Allegro Common Lisp , диалекту Common Lisp, продаваемому компанией Franz Inc. в последние годы.
• XLISP , AutoLISP . на котором основан
• Standard Lisp и Portable Standard Lisp широко использовались и портировались, особенно вместе с системой компьютерной алгебры REDUCE.
• ZetaLisp , также называемый Lisp Machine Lisp — используется на машинах Lisp , прямой потомок Maclisp. ZetaLisp оказал большое влияние на Common Lisp.
• LeLisp — диалект французского Лиспа. Один из первых разработчиков интерфейсов (так называемый SOS Interface). ) был написан на LeLisp.
• Схема (1975).
• Common Lisp (1984), как описано в Common Lisp the Language — объединение нескольких разошедшихся попыток (ZetaLisp, Spice Lisp , NIL и S-1 Lisp ) по созданию диалектов-преемников. до Maclisp, с существенным влиянием диалекта Scheme. Эта версия Common Lisp была доступна для самых разных платформ и была принята многими как стандарт де-факто. до публикации ANSI Common Lisp (ANSI X3.226-1994). Среди наиболее распространенных поддиалектов Common Lisp — Steel Bank Common Lisp (SBCL), CMU Common Lisp (CMU-CL), Clozure OpenMCL (не путать с Clojure!), GNU CLisp и более поздние версии Franz Lisp; все они соответствуют более позднему стандарту ANSI CL (см. ниже).
• В своей первой версии Dylan представлял собой смесь Scheme и объектной системы Common Lisp.
• EuLisp — попытка разработать новый эффективный и очищенный Lisp.
• ISLISP – попытка разработать новый эффективный и очищенный Lisp. Стандартизирован как ISO/IEC 13816:1997. и позже пересмотренный как ISO/IEC 13816:2007: Информационные технологии – Языки программирования, их среды и интерфейсы системного программного обеспечения – Язык программирования ISLISP .
• IEEE Схема – стандарт IEEE, 1178–1990 (R1995).
• ANSI Common Lisp — Американского национального института стандартов (ANSI) стандарт для Common Lisp, созданный подкомитетом X3J13 , зарегистрированный начать с Common Lisp: The Language как базового документа и проработать процесс общественного консенсуса для поиска решений общих проблем переносимости программ и совместимости реализаций Common Lisp. Хотя формально это стандарт ANSI, реализация, продажа, использование и влияние ANSI Common Lisp наблюдались и продолжают наблюдаться во всем мире.
• ACL2 или «Вычислительная логика для аппликативного Common Lisp», аппликативный (без побочных эффектов) вариант Common LISP. ACL2 — это одновременно язык программирования, который может моделировать компьютерные системы, и инструмент, помогающий доказать свойства этих моделей.
• Clojure , новый диалект Lisp, который компилируется в виртуальную машину Java и уделяет особое внимание параллелизму .
• Game Oriented Assembly Lisp (или GOAL) — язык программирования видеоигр, разработанный Энди Гэвином из Naughty Dog . Он был написан с использованием Allegro Common Lisp и использовался при разработке всей серии игр Jak and Daxter, разработанной Naughty Dog.

с 2000 г. по настоящее время

После некоторого снижения в 1990-х годах интерес к Лиспу возобновился после 2000 года. Большая часть новой деятельности была сосредоточена вокруг реализаций Common Lisp , Scheme , Emacs Lisp , Clojure и Racket , а также включала разработку новых переносимых библиотек и приложений.

Многие новые программисты на Лиспе были вдохновлены такими авторами, как Пол Грэм и Эрик С. Рэймонд, на разработку языка, который другие считали устаревшим. Программисты New Lisp часто описывают этот язык как поучительный опыт и утверждают, что он значительно более продуктивен, чем другие языки. Этот рост осведомленности можно противопоставить « зиме ИИ » и кратковременному успеху Лиспа в середине 1990-х годов.

По состоянию на 2010 год , существовало одиннадцать активно поддерживаемых реализаций Common Lisp.

Сообщество открытого исходного кода создало новую вспомогательную инфраструктуру: CLiki — это вики, которая собирает информацию, связанную с Common Lisp, каталог Common Lisp перечисляет ресурсы, #lisp — популярный IRC-канал, позволяющий делиться и комментировать фрагменты кода (при поддержке lispaste , IRC -бот , написанный на Lisp), Planet Lisp собирает содержимое различных блогов, посвященных Lisp, на LispForum. пользователи обсуждают темы Lisp, Lispjobs — это сервис для объявления предложений о работе, а также существует еженедельная служба новостей Weekly Lisp News . Common-lisp.net — это хостинг для проектов Common Lisp с открытым исходным кодом. Квиклисп является менеджером библиотеки Common Lisp.

Пятьдесят лет Лиспа (1958–2008) отмечали на LISP50@OOPSLA. Регулярно проводятся встречи местных пользователей в Бостоне, Ванкувере и Гамбурге. Другие мероприятия включают Европейское собрание Common Lisp, Европейский симпозиум Lisp и Международную конференцию Lisp.

Сообщество Scheme активно поддерживает более двадцати реализаций . Несколько значительных новых реализаций (Chicken, Gambit, Gauche, Ikarus, Larceny, Ypsilon) были разработаны в 2000-х (десятилетии). Пересмотренный ⁵ Отчет об алгоритмической языковой схеме Стандарт Scheme получил широкое признание в сообществе Scheme. было В ходе процесса запросов на реализацию схемы создано множество квазистандартных библиотек и расширений для схемы. Сообщества пользователей отдельных реализаций Scheme продолжают расти. Новый процесс стандартизации языка был начат в 2003 году и привел к появлению R ⁶ Стандарт RS Scheme в 2007 году. Академическое использование Scheme для преподавания информатики, похоже, несколько сократилось. Некоторые университеты больше не используют Scheme на вводных курсах по информатике; MIT теперь использует Python вместо Scheme в своей программе бакалавриата по информатике и в массовом открытом онлайн-курсе MITx.

Появилось несколько новых диалектов Lisp: Arc , Hy , Nu , Liskell и LFE (Lisp Flavored Erlang). Парсер Julia реализован на Femtolisp, диалекте Scheme ( Julia вдохновлена ​​Scheme, который, в свою очередь, является диалектом Lisp).

В октябре 2019 года Пол Грэм опубликовал спецификацию Bel , «нового диалекта Lisp».

Основные диалекты

Common Lisp и Scheme представляют собой два основных направления разработки Lisp. Эти языки воплощают существенно разные варианты дизайна.

Common Lisp является преемником Maclisp . Основное влияние оказали Lisp Machine Lisp , Maclisp, NIL , S-1 Lisp , Spice Lisp и Scheme. Он обладает многими функциями Lisp Machine Lisp (большого диалекта Lisp, используемого для программирования Lisp Machines ), но был разработан для эффективной реализации на любом персональном компьютере или рабочей станции. Common Lisp — это язык программирования общего назначения, поэтому он имеет большой языковой стандарт, включающий множество встроенных типов данных, функций, макросов и других элементов языка, а также объектную систему ( Common Lisp Object System ). Common Lisp также позаимствовал некоторые функции из Scheme, такие как лексическая область видимости и лексические замыкания . Доступны общие реализации Lisp для различных платформ, таких как LLVM , Java виртуальная машина , x86-64, PowerPC, Alpha, ARM, Motorola 68000 и MIPS, и операционные системы, такие как Windows, macOS, Linux, Solaris, FreeBSD, NetBSD, OpenBSD, Dragonfly BSD и Heroku.

Схема — это статически ограниченный и правильно рекурсивный диалект языка программирования Lisp, изобретенный Гаем Л. Стилом-младшим и Джеральдом Джеем Сассманом . Он был разработан, чтобы иметь исключительно ясную и простую семантику и несколько различных способов формирования выражений. Разработанный примерно на десять лет раньше, чем Common Lisp, Scheme имеет более минималистичный дизайн. Он имеет гораздо меньший набор стандартных функций, но с некоторыми функциями реализации (такими как оптимизация хвостовых вызовов и полные продолжения ), не указанными в Common Lisp. Широкий спектр парадигм программирования, включая императивные, функциональные стили и стили передачи сообщений, находят удобное выражение в Scheme. Схема продолжает развиваться с появлением ряда стандартов (пересмотренных ^н Отчет об алгоритмической языковой схеме) и серию Запросов на реализацию схемы .

Clojure — это диалект Lisp, ориентированный в основном на виртуальную машину Java , среду Common Language Runtime (CLR), виртуальную машину Python , виртуальную машину Ruby YARV и компиляцию в JavaScript . Он спроектирован как прагматичный язык общего назначения. Clojure черпает значительное влияние из Haskell и уделяет очень большое внимание неизменяемости. Clojure предоставляет доступ к платформам и библиотекам Java с дополнительными подсказками типов и выводом типов , так что вызовы Java могут избежать отражения и обеспечить быстрые примитивные операции. Clojure не предназначен для обратной совместимости с другими диалектами Lisp.

Кроме того, диалекты Lisp используются в качестве языков сценариев во многих приложениях, наиболее известными из которых являются Emacs Lisp в редакторе Emacs , AutoLISP и более поздний Visual Lisp в AutoCAD , Nyquist в Audacity и Scheme в LilyPond . Потенциально небольшой размер полезного интерпретатора Scheme делает его особенно популярным для встроенных сценариев. Примеры включают SIOD и TinyScheme , оба из которых были успешно встроены в процессор изображений GIMP под общим названием «Script-fu». LIBREP, интерпретатор Lisp, разработанный Джоном Харпером, первоначально основанный на языке Emacs Lisp , был встроен в Sawfish оконный менеджер .

Стандартизированные диалекты

В Lisp есть официально стандартизированные диалекты: R6RS Scheme , R7RS Scheme , IEEE Scheme, ANSI Common Lisp и ISO ISLISP .

Языковые инновации

Пол Грэм выделяет девять важных аспектов Лиспа, которые отличают его от существующих языков, таких как Фортран :

• Условные операторы , не ограничивающиеся переходом
• Первоклассные функции
• Рекурсия
• Единообразное обращение с переменными как с указателями , оставляя типы значениям.
• Вывоз мусора
• Программы, полностью состоящие из выражений без операторов.
• Тип данных символа , отличный от строки . типа данных
• Обозначение кода, состоящего из деревьев символов (с использованием множества круглых скобок ).
• Полный язык доступен во время загрузки , во время компиляции и во время выполнения.

Лисп был первым языком, в котором структура программного кода точно и непосредственно представлена ​​в стандартной структуре данных — качество, гораздо позже получившее название « гомоиконичность ». Таким образом, функциями Lisp можно манипулировать, изменять или даже создавать внутри программы Lisp без манипуляций на более низком уровне. Обычно это считается одним из основных преимуществ языка с точки зрения его выразительной силы и делает язык подходящим для синтаксических макросов и метациклических вычислений .

Условное выражение, использующее синтаксис if-then-else, было изобретено Маккарти для шахматной программы, написанной на Фортране . Он предложил включить его в АЛГОЛ , но он не стал частью спецификации Алгола 58 . Для Лиспа Маккарти использовал более общую структуру cond . Алгол 60 взял на вооружение «если-то-иначе» и популяризировал его.

Лисп оказал глубокое влияние на Алана Кея , руководителя исследовательской группы, разработавшей Smalltalk в Xerox PARC ; и, в свою очередь, на Лисп повлиял Smalltalk, а более поздние диалекты в 1970-х годах переняли функции объектно-ориентированного программирования (классы наследования, инкапсуляция экземпляров, передача сообщений и т. д.). представила Объектная система Flavors концепцию множественного наследования и примеси . Объектная система Common Lisp обеспечивает множественное наследование, мультиметоды с множественной диспетчеризацией и первоклассные универсальные функции , создавая гибкую и мощную форму динамической диспетчеризации . Он послужил шаблоном для многих последующих объектных систем Lisp (включая Scheme ), которые часто реализовывались через метаобъектный протокол — рефлексивный метациклический дизайн, в котором объектная система определяется с точки зрения самой себя: Lisp был лишь вторым языком. после Smalltalk (и до сих пор это один из немногих языков), обладающих такой метаобъектной системой. Много лет спустя Алан Кей предположил, что в результате слияния этих функций только Smalltalk и Lisp можно считать правильно продуманными системами объектно-ориентированного программирования.

Лисп представил концепцию автоматической сборки мусора , при которой система ходит по куче в поисках неиспользуемой памяти. Прогресс в разработке современных сложных алгоритмов сборки мусора, таких как сборка мусора по поколениям, был стимулирован их использованием в Lisp.

Эдсгер В. Дейкстра в своей лекции на Премии Тьюринга 1972 года сказал:

Имея в своей основе несколько базовых принципов, он [LISP] продемонстрировал замечательную стабильность. Кроме того, LISP стал основой для значительного числа наших самых сложных компьютерных приложений. LISP в шутку называют «самым разумным способом неправильного использования компьютера». Я думаю, что это описание — великий комплимент, потому что оно передает всю суть освобождения: оно помогло ряду наших самых одаренных собратьев задуматься о ранее невозможных мыслях.

Во многом из-за своих требований к ресурсам раннего вычислительного оборудования (включая ранние микропроцессоры), Лисп не стал таким популярным за пределами сообщества искусственного интеллекта , как Фортран и АЛГОЛА , потомок язык C . Из-за своей пригодности для сложных и динамичных приложений в 2010-х годах к Лиспу вновь возродился общественный интерес.

Синтаксис и семантика

Примеры в этой статье написаны на Common Lisp (хотя большинство из них также подходят и для Scheme ).

Символические выражения (S-выражения)

Лисп — язык, ориентированный на выражения . не делается различий В отличие от большинства других языков, между «выражениями» и «утверждениями» ; весь код и данные записываются в виде выражений. Когда выражение оценивается , оно создает значение (возможно, несколько значений), которое затем можно внедрить в другие выражения. Каждое значение может быть любым типом данных.

В статье Маккарти 1958 года были представлены два типа синтаксиса: символические выражения ( S-выражения , sexps), которые отражают внутреннее представление кода и данных; и метавыражения ( М-выражения ), которые выражают функции S-выражений. М-выражения никогда не пользовались популярностью, и сегодня почти все Lisps используют S-выражения для манипулирования как кодом, так и данными.

Использование круглых скобок — самое очевидное отличие Лиспа от других семейств языков программирования. В результате студенты уже давно дали Лиспу прозвища, такие как « Потерянные в глупых скобках» или «Множество раздражающих лишних скобок» . Однако синтаксис S-выражений также отвечает за большую часть возможностей Лиспа: синтаксис прост и последователен, что облегчает манипуляции с компьютером. Однако синтаксис Лиспа не ограничивается традиционной записью в круглых скобках. Его можно расширить, включив в него альтернативные обозначения. Например, XMLisp — это расширение Common Lisp, которое использует протокол метаобъектов для интеграции S-выражений с расширяемым языком разметки ( XML ).

Использование выражений придает языку большую гибкость. Лиспа Поскольку функции написаны в виде списков, их можно обрабатывать точно так же, как и данные. Это позволяет легко писать программы, которые манипулируют другими программами ( метапрограммирование ). Многие диалекты Лиспа используют эту возможность с помощью макросистем, что позволяет расширять язык практически без ограничений.

Списки

Список Lisp записывается так, что его элементы разделяются пробелами и заключаются в круглые скобки. Например, (1 2 foo) это список, элементами которого являются три атома 1, 2, и foo. Эти значения типизированы неявно: они представляют собой соответственно два целых числа и тип данных, специфичный для Lisp, называемый «символ», и их не обязательно объявлять как таковые.

Пустой список () также представлен как особый атом nil. Это единственная сущность в Лиспе, которая одновременно является атомом и списком.

Выражения записываются в виде списков с использованием префиксной записи . Первый элемент в списке — это имя функции, имя макроса, лямбда-выражение или имя «специального оператора» (см. ниже). Остальная часть списка — это аргументы. Например, функция list возвращает свои аргументы в виде списка, поэтому выражение

 (  список   1   2   (  цитата   foo  )) 

оценивает список (1 2 foo). «Цитата» перед fooв предыдущем примере — это «специальный оператор», который возвращает свой аргумент, не вычисляя его. Любые выражения, не заключенные в кавычки, рекурсивно вычисляются перед вычислением заключающего выражения. Например,

 (  список   1   2   (  список   3   4  )) 

оценивает список (1 2 (3 4)). Третий аргумент — это список; списки могут быть вложенными.

Операторы

Аналогично обрабатываются арифметические операторы. Выражение

 ( +  1  2  3  4 ) 

оценивается как 10. Эквивалентом в инфиксной записи будет " 1 + 2 + 3 + 4".

В Лиспе нет понятия операторов, реализованного в языках, производных от Алгола. Арифметические операторы в Лиспе — это вариативные функции (или n-арные ), способные принимать любое количество аргументов. Оператор приращения '++' в стиле C иногда реализуется под именем incf давая синтаксис

 (  вкл   х  ) 

эквивалентно (setq x (+ x 1)), возвращая новое значение x.

«Специальные операторы» (иногда называемые «специальными формами») обеспечивают структуру управления Лиспом. Например, специальный оператор ifпринимает три аргумента. Если первый аргумент не равен нулю, он оценивается как второй аргумент; в противном случае он оценивается как третий аргумент. Таким образом, выражение

 (  если   ноль 
      (  список   1   2   «foo»  ) 
      (  список   3   4   «бар»  )) 

оценивается как (3 4 "bar"). Конечно, это было бы полезнее, если бы вместо выражения было подставлено нетривиальное выражение. nil.

В Lisp также предусмотрены логические операторы and , or и not . Операторы and и or выполняют сокращенную оценку и возвращают свой первый нулевой и ненулевой аргумент соответственно.

 (  или   (  и   «ноль»   ноль   «никогда»  )   «Джеймс»   задачи   «время  » ) 

будет оцениваться как «Джеймс».

Лямбда-выражения и определение функции

Еще один специальный оператор, lambda, используется для привязки переменных к значениям, которые затем оцениваются в выражении. Этот оператор также используется для создания функций: аргументы lambdaпредставляют собой список аргументов и выражение или выражения, которые вычисляет функция (возвращаемое значение — это значение последнего вычисляемого выражения). Выражение

 (  лямбда   (  аргумент  )   (  +   аргумент   1  )) 

вычисляет функцию, которая при применении принимает один аргумент, привязывает его к argи возвращает число на единицу больше этого аргумента. Лямбда-выражения обрабатываются так же, как и именованные функции; они вызываются одинаково. Следовательно, выражение

 ((  лямбда   (  аргумент  )   (  +   аргумент   1  ))   5  ) 

оценивается как 6. Здесь мы делаем приложение функции: выполняем анонимную функцию , передавая ей значение 5.

Именованные функции создаются путем сохранения лямбда-выражения в символе с помощью макроса defun.

 (  defun   foo   (  a   b   c   d  )   (  +   a   b   c   d  )) 

(defun f (a) b...) определяет новую функцию с именем fв глобальной среде. Концептуально оно похоже на выражение:

 (  setf   (  fdefinition   'f  )   #'  (  лямбда   (  a  )   (  блок   f   b...  ))) 

где setf это макрос, используемый для установки значения первого аргумента fdefinition 'f в новый функциональный объект. fdefinition — это глобальное определение функции для функции с именем f. #' это аббревиатура от function специальный оператор, возвращающий объект функции.

Атомы

В исходном LISP было два фундаментальных типа данных : атомы и списки. Список представлял собой конечную упорядоченную последовательность элементов, где каждый элемент был либо атомом, либо списком, а атом — числом или символом. Символ по существу представлял собой уникальный именованный элемент, записанный в виде буквенно-цифровой строки в исходном коде и используемый либо как имя переменной, либо как элемент данных при символьной обработке . Например, список (FOO (BAR 1) 2) содержит три элемента: символ FOO, список (BAR 1), и цифра 2.

Существенная разница между атомами и списками заключалась в том, что атомы были неизменяемыми и уникальными. Два атома, появившиеся в разных местах исходного кода, но написанные совершенно одинаково, представляли один и тот же объект. тогда как каждый список представлял собой отдельный объект, который можно было изменять независимо от других списков и отличать его от других списков с помощью операторов сравнения.

По мере того как в более поздних диалектах Лиспа было введено больше типов данных и развивались стили программирования , концепция атома теряла значение. предиката Во многих диалектах все еще сохранялся атом для совместимости с устаревшими версиями . определение этого истинно для любого объекта, который не является минусом.

Минусы и списки

Основная статья: Минусы

Диаграмма в виде прямоугольника и указателя для списка (42 69 613)

Список Lisp реализован как односвязный список . Каждая ячейка этого списка называется cons (в Scheme — пара ) и состоит из двух указателей , называемых car и cdr . Они соответственно эквивалентны data и next статьи поля, обсуждаемые в связанном списке .

Из множества структур данных, которые можно построить из ячеек cons, одна из самых простых называется правильным списком . Правильный список — это либо специальный nil (пустой список) или символ «минус», в котором car указывает на данные (которые могут быть другой структурой cons, например списком), а cdr указывает на другой правильный список.

Если данный cons считается главой связанного списка, то его car указывает на первый элемент списка, а его cdr указывает на остальную часть списка. По этой причине car и cdr функции еще называют first и rest когда речь идет о консах, которые являются частью связанного списка (а не, скажем, дерева).

Таким образом, список Lisp не является атомарным объектом, каким был бы экземпляр класса-контейнера в C++ или Java. Список — это не что иное, как совокупность связанных конусов. Переменная, которая ссылается на данный список, является просто указателем на первый минус в списке. Обход списка можно выполнить, вниз пропустив список ; то есть использование последовательных CDR для посещения каждого минуса в списке; или используя любую из нескольких функций более высокого порядка для сопоставления функции со списком.

Поскольку константы и списки настолько универсальны в системах Lisp, распространено заблуждение, что они являются единственными структурами данных Lisp. Фактически, все Лиспы, кроме самых упрощенных, имеют другие структуры данных, такие как векторы ( массивы ), хеш-таблицы , структуры и т. д.

S-выражения представляют списки

S-выражения в скобках представляют структуры связанного списка. Существует несколько способов представить один и тот же список в виде S-выражения. Минусы можно записать в виде пар точек с точками как (a . b), где a это машина и bcдр. Можно было бы написать более длинный список. (a . (b . (c . (d . nil))))в обозначениях пар точек. Условно это сокращенно обозначается как (a b c d)в обозначении списка . Неправильный список может быть записано в комбинации двух – как (a b c . d) для списка трех конусов, последний cdr которых d (т.е. список (a . (b . (c . d))) в полной форме).

Процедуры обработки списков

Lisp предоставляет множество встроенных процедур для доступа к спискам и управления ими. Списки можно создавать непосредственно с помощью list процедура, которая принимает любое количество аргументов и возвращает список этих аргументов.

 (  список   1   2   'a   3  ) 
  ; Вывод: (1 2 a 3) 

 (  список   1   '  (  2   3  )   4  ) 
  ; Выход: (1 (2 3) 4) 

Из-за того, что списки составляются из пар минусов , consПроцедура может использоваться для добавления элемента в начало списка. cons Процедура асимметрична в том, как она обрабатывает аргументы списка, из-за того, как списки создаются.

 (  cons   1   '  (  2   3  ) ) 
  ; Выход: (1 2 3) 

 (  cons   '  (  1   2  )   '  (  3   4  )) 
  ; Вывод: ((1 2) 3 4) 

The appendПроцедура добавляет два (или более) списка друг к другу. Поскольку списки Lisp являются связанными списками, добавление двух списков имеет асимптотическую временную сложность. $O(n)$

 (  добавить   '  (  1   2  )   '  (  3   4  )) 
  ;Вывод: (1 2 3 4) 

 (  добавьте   '  (  1   2   3  )   '  ()   '  (  a  )   '  (  5   6  ) ) 
  ; Вывод: (1 2 3 a 5 6) 

Общая структура

Списки Lisp, будучи простыми связанными списками, могут иметь общую структуру. То есть два списка могут иметь один и тот же хвост или конечную последовательность выводов. Например, после выполнения следующего кода Common Lisp:

(  setf   foo   (  list   'a   'b   'c  )) 
 (  setf   bar   (  cons   'x   (  cdr   foo  ))) 

списки foo и bar являются (a b c) и (x b c)соответственно. Однако хвост (b c)имеет одинаковую структуру в обоих списках. Это не копия; ячейки минусов, указывающие на b и c находятся в одних и тех же ячейках памяти для обоих списков.

Совместное использование структуры вместо копирования может привести к значительному повышению производительности. Однако этот метод может нежелательным образом взаимодействовать с функциями, которые изменяют списки, передаваемые им в качестве аргументов. Изменение одного списка, например, путем замены c с goose, повлияет на другое:

 (  setf   (  третий   foo  )   'гусь  ) 

Это меняет foo к (a b goose), но тем самым также изменяется bar к (x b goose)– возможно, неожиданный результат. Это может быть источником ошибок, и функции, изменяющие свои аргументы, документируются как деструктивные именно по этой причине .

Поклонники функционального программирования избегают деструктивных функций. В диалекте схемы, который отдает предпочтение функциональному стилю, имена деструктивных функций отмечаются предостерегающим восклицательным знаком или «взрывом», например: set-car!(читай набор car bang ), который заменяет машину из минусов. В диалекте Common Lisp деструктивные функции являются обычным явлением; эквивалент set-car! назван rplacaза "заменить машину". Однако эту функцию редко можно увидеть, поскольку Common Lisp включает в себя специальную возможность: setf, чтобы упростить определение и использование деструктивных функций. В Common Lisp частым стилем является написание кода функционально (без деструктивных вызовов) при создании прототипа, а затем добавление деструктивных вызовов в качестве оптимизации там, где это безопасно.

Формы самооценки и цитирование

Лисп оценивает выражения, которые вводит пользователь. Символы и списки оцениваются как некоторые другие (обычно более простые) выражения — например, символ вычисляется как значение переменной, которую он называет; (+ 2 3) оценивается как 5. Однако большинство других форм оценивают сами себя: если ввести 5 в Лисп, он возвращает 5.

Любое выражение также можно пометить, чтобы предотвратить его оценку (что необходимо для символов и списков). В этом заключается роль quote специальный оператор или его аббревиатура '(одна кавычка). Например, обычно при вводе символа foo, он возвращает значение соответствующей переменной (или ошибку, если такой переменной нет). Чтобы обратиться к буквальному символу, введите (quote foo) или, обычно, 'foo.

И Common Lisp, и Scheme также поддерживают оператор обратной кавычки (называемый в Scheme квазицитой ), вводимый с помощью `характер ( серьезный акцент ). Это почти то же самое, что и простая кавычка, за исключением того, что она позволяет оценивать выражения и интерполировать их значения в список кавычек с запятой. , снять кавычки и запятую ,@ операторы сращивания . Если переменная snue имеет значение (bar baz) затем `(foo ,snue) оценивается как (foo (bar baz)), пока `(foo ,@snue) оценивается как (foo bar baz). Обратная кавычка чаще всего используется при определении расширений макросов.

Самовычисляемые формы и формы в кавычках являются эквивалентом лисперов в Лиспе. Возможно изменение значений (изменяемых) литералов в программном коде. Например, если функция возвращает форму в кавычках, а код, вызывающий функцию, изменяет форму, это может изменить поведение функции при последующих вызовах.

(  defun   должна быть константой   () 
   '  (  один   два   три  )) 

 (  let   ((  материал   (  должна быть константой  ))) 
   (  setf   (  третья   вещь  )   ' странный  ) )     ;   плохой! 

  (  должно быть постоянным  )     ;   возвращается (один два странных) 

Изменение формы в кавычках, как это, обычно считается плохим стилем и определяется ANSI Common Lisp как ошибочное (приводящее к «неопределённому» поведению в скомпилированных файлах, поскольку компилятор файла может объединить похожие константы, поместить их в память, защищенную от записи, и и т. д.).

Формализация цитаты в Лиспе была отмечена Дугласом Хофштадтером (в Гёделе, Эшере, Бахе ) и другими как пример философской идеи самореференции .

Область применения и завершение

Семейство Lisp разделяется по использованию динамической или статической (лексической) области видимости . Clojure, Common Lisp и Scheme по умолчанию используют статическую область видимости, тогда как newLISP , Picolisp и встроенные языки в Emacs и AutoCAD используют динамическую область видимости. Начиная с версии 24.1, Emacs использует как динамическую, так и лексическую область видимости.

Списковая структура программного кода; эксплуатация макросами и компиляторами

Фундаментальное различие между Лиспом и другими языками заключается в том, что в Лиспе текстовое представление программы представляет собой просто удобочитаемое описание тех же внутренних структур данных (связных списков, символов, чисел, символов и т. д.), которые используются базовая система Lisp.

Лисп использует это для реализации очень мощной системы макросов. Как и другие макроязыки, например тот, который определяется препроцессором C (препроцессор макросов для языков программирования C , Objective-C и C++ ), макрос возвращает код, который затем можно скомпилировать. Однако, в отличие от макросов препроцессора C, макросы являются функциями Lisp и поэтому могут использовать всю мощь Lisp.

Кроме того, поскольку код Lisp имеет ту же структуру, что и списки, макросы можно создавать с помощью любой функции обработки списков в языке. Короче говоря, все, что Lisp может сделать со структурой данных, макросы Lisp могут сделать с кодом. Напротив, в большинстве других языков выходные данные синтаксического анализатора являются чисто внутренними по отношению к реализации языка и не могут манипулироваться программистом.

Эта функция позволяет легко разрабатывать эффективные языки внутри языков. Например, объектная система Common Lisp может быть реализована как расширение языка с использованием макросов. Это означает, что если приложению нужен другой механизм наследования, оно может использовать другую объектную систему. Это резко контрастирует с большинством других языков; например, Java не поддерживает множественное наследование, и нет разумного способа его добавить.

В упрощенных реализациях Lisp эта структура списка напрямую интерпретируется для запуска программы; Функция — это буквально часть структуры списка, которую интерпретатор просматривает при ее выполнении. Однако большинство существенных систем Lisp также включают в себя компилятор. Компилятор преобразует структуру списка в машинный код или байт-код для выполнения. Этот код может работать так же быстро, как код, скомпилированный на обычных языках, таких как C.

Макросы расширяются перед этапом компиляции и, таким образом, предлагают некоторые интересные возможности. Если программе нужна предварительно вычисленная таблица, то макрос может создать таблицу во время компиляции, поэтому компилятору нужно только вывести таблицу и не вызывать код для создания таблицы во время выполнения. В некоторых реализациях Lisp даже есть механизм, eval-when, что позволяет коду присутствовать во время компиляции (когда он понадобится макросу), но не присутствовать в создаваемом модуле.

Оценка и цикл чтения-оценки-печати

Языки Lisp часто используются с интерактивной командной строкой , которую можно объединить с интегрированной средой разработки (IDE). Пользователь вводит выражения в командной строке или дает команду IDE передать их в систему Lisp. Лисп читает введенные выражения, оценивает их и печатает результат. По этой причине командная строка Lisp называется циклом чтения-оценки-печати ( REPL ).

Основная работа REPL заключается в следующем. Это упрощенное описание, в котором опущены многие элементы настоящего Лиспа, такие как кавычки и макросы.

The readфункция принимает текстовые S-выражения в качестве входных данных и анализирует их во внутреннюю структуру данных. Например, если вы наберете текст (+ 1 2) по подсказке, read преобразует это в связанный список с тремя элементами: символом +, число 1 и число 2. Так получилось, что этот список также является допустимым фрагментом кода Lisp; то есть его можно оценить. Это связано с тем, что машина списка называет функцию — операцию сложения.

А foo будет читаться как один символ. 123 будет читаться как число сто двадцать три. "123" будет читаться как строка «123».

The evalфункция оценивает данные, возвращая в результате ноль или более других данных Lisp. Оценка не обязательно должна означать интерпретацию; некоторые системы Lisp компилируют каждое выражение в собственный машинный код. Однако легко описать оценку как интерпретацию: чтобы оценить список, машина которого называет функцию, evalсначала оценивает каждый из аргументов, указанных в его cdr, затем применяет функцию к аргументам. В данном случае функция складывает и применяет ее к списку аргументов. (1 2) дает ответ 3. Это результат оценки.

Символ fooоценивается как значение символа foo. Такие данные, как строка «123», оцениваются как одна и та же строка. Список (quote (1 2 3)) возвращает список (1 2 3).

Это работа printфункция для представления вывода пользователю. Для простого результата, такого как 3это тривиально. Выражение, которое оценивается как часть структуры списка, потребует, чтобы print пройдите по списку и распечатайте его как S-выражение.

Чтобы реализовать Lisp REPL, необходимо реализовать только эти три функции и функцию бесконечного цикла. (Естественно, реализация eval будет сложным, поскольку он также должен реализовывать все специальные операторы, такие как if или lambda.) После этого базовый REPL представляет собой одну строку кода: (loop (print (eval (read)))).

Lisp REPL обычно также обеспечивает редактирование ввода, историю ввода, обработку ошибок и интерфейс для отладчика.

Lisp обычно оценивается с нетерпением . В Common Lisp аргументы оцениваются в аппликативном порядке («самый левый внутренний»), тогда как в Scheme порядок аргументов не определен, что оставляет место для оптимизации компилятором.

Структуры управления

Первоначально в Lisp было очень мало управляющих структур, но в ходе эволюции языка было добавлено гораздо больше. (Исходный условный оператор Лиспа, cond, является предшественником более позднего if-then-else структуры.)

Программисты, использующие диалект Scheme, часто выражают циклы, используя хвостовую рекурсию . Общность Scheme в академической информатике привела некоторых студентов к мысли, что хвостовая рекурсия — единственный или наиболее распространенный способ написания итераций в Lisp, но это неверно. Все часто встречающиеся диалекты Лиспа имеют конструкции итерации в императивном стиле, начиная с Scheme. do цикл к Common Lisp комплексу loopвыражения. Более того, ключевой вопрос, который делает это объективным, а не субъективным вопросом, заключается в том, что Scheme предъявляет особые требования к обработке хвостовых вызовов , и, таким образом, причина, по которой использование хвостовой рекурсии обычно поощряется для Scheme, заключается в том, что эта практика явно поддерживается определение языка. Напротив, ANSI Common Lisp не требует оптимизация, обычно называемая устранением хвостового вызова. Таким образом, тот факт, что стиль хвостовой рекурсии как случайная замена использованию более традиционных итерационных конструкций (таких как do, dolist или loop) обескуражен в Common Lisp — это не просто вопрос стилистических предпочтений, но потенциально вопрос эффективности (поскольку очевидный хвостовой вызов в Common Lisp может не компилироваться как простой переход ) и корректности программы (поскольку хвостовая рекурсия может увеличить использование стека в Common Lisp, рискуя переполнение стека ).

Некоторые управляющие структуры Лиспа представляют собой специальные операторы , эквивалентные синтаксическим ключевым словам других языков. Выражения, использующие эти операторы, имеют тот же внешний вид, что и вызовы функций, но отличаются тем, что аргументы не обязательно оцениваются или, в случае выражения итерации, могут оцениваться более одного раза.

В отличие от большинства других основных языков программирования, Лисп позволяет реализовывать структуры управления с помощью языка. Некоторые структуры управления реализованы в виде макросов Lisp и могут даже быть расширены макросами программистом, который хочет знать, как они работают.

И Common Lisp, и Scheme имеют операторы для нелокального потока управления. Различия в этих операторах являются одними из самых глубоких различий между двумя диалектами. Схема поддерживает повторные продолжения с использованием call/ccпроцедура, которая позволяет программе сохранить (а затем восстановить) определенное место выполнения. Common Lisp не поддерживает повторные продолжения, но поддерживает несколько способов обработки escape-продолжений.

Часто один и тот же алгоритм может быть выражен в Лиспе либо в императивном, либо в функциональном стиле. Как отмечалось выше, Scheme имеет тенденцию отдавать предпочтение функциональному стилю, используя хвостовую рекурсию и продолжения для выражения потока управления. Однако императивный стиль все же вполне возможен. Стиль, предпочитаемый многими программистами Common Lisp, может показаться более знакомым программистам, привыкшим к структурированным языкам, таким как C, тогда как стиль, предпочитаемый комбинаторами, больше напоминает чисто функциональные языки, такие как Haskell .

Благодаря раннему наследию Лиспа в области обработки списков, он имеет широкий набор функций высшего порядка, связанных с итерацией по последовательностям. Во многих случаях, когда в других языках необходим явный цикл (например, forцикл в C) в Лиспе ту же задачу можно выполнить с помощью функции более высокого порядка. (То же самое относится и ко многим функциональным языкам программирования.)

Хорошим примером является функция, которая в Scheme называется map и в Common Lisp называется mapcar. Учитывая функцию и один или несколько списков, mapcar последовательно применяет функцию к элементам списков по порядку, собирая результаты в новый список:

 (  mapcar   #'  +   '  (  1   2   3   4   5  )   '  (  10   20   30   40   50  )) 

Это касается + функцию для каждой соответствующей пары элементов списка, что дает результат (11 22 33 44 55).

Примеры

Вот примеры кода Common Lisp.

Базовая программа « Привет, Мир! »:

(  напечатайте   «Привет, Мир!»  ) 

Синтаксис Лиспа естественным образом поддается рекурсии. Математические проблемы, такие как перечисление рекурсивно определенных множеств, легко выразить в этих обозначениях. числа Например, чтобы вычислить факториал :

(  defun   факториал   (  n  ) 
     (  if   (  Zerop   n  )   1 
         (  *   n   (  факториал   (  1-   n  ))))) 

Альтернативная реализация занимает меньше места в стеке, чем предыдущая версия, если базовая система Lisp оптимизирует хвостовую рекурсию :

(  defun   Factorial   (  n   &optional   (  Acc   1  )) 
     (  if   (  Zerop   n  )   Acc 
         (  Factorial   (  1-   n  )   (  *   Acc   n  )))) 

Сравните приведенные выше примеры с итеративной версией, использующей Common Lisp . loop макрос:

(  defun   факториал   (  n  ) 
     (  цикл   для   i   от   1   до   n 
         для   fac   =   1   , затем   (  *   fac   i  ) 
         наконец   (  return   fac  ))) 

Следующая функция переворачивает список. (Встроенная обратная функция Лиспа делает то же самое.)

(  defun   -reverse   (  список  ) 
     (  let   ((  возвращаемое значение  )) 
       (  dolist   (  e   list  )   (  push   e   возвращаемое значение  )) 
       возвращаемое значение  )) 

Объектные системы

Различные объектные системы и модели были построены поверх Lisp, вместе с ним или в него, в том числе

• Объектная система Common Lisp , CLOS, является неотъемлемой частью ANSI Common Lisp. CLOS произошел от New Flavors и CommonLOOPS. ANSI Common Lisp был первым стандартизированным объектно-ориентированным языком программирования (1994, ANSI X3J13).
• ОбъектЛисп или Object Lisp , используемый Lisp Machines Incorporated и ранними версиями Macintosh Common Lisp.
• LOOPS (система объектно-ориентированного программирования Lisp) и более поздние версии CommonLoops
• Flavors , созданный в Массачусетском технологическом институте , и его потомок New Flavors (разработанный компанией Symbolics ).
• KR (сокращение от «Представление знаний») — объектная система на основе ограничений , разработанная для помощи в написании Garnet, библиотеки графического интерфейса для Common Lisp .
• Среда разработки знаний (KEE) использовала объектную систему UNITS и интегрировала ее с механизмом вывода. и система поддержания истины (ATMS).

Операционные системы

Некоторые операционные системы , включая системы на основе языка , основаны на Lisp (используют функции Lisp, соглашения, методы, структуры данных и т. д.) или написаны на Lisp. включая:

Genera , переименованная в Open Genera, от Символики ; Medley, написанная на Interlisp, первоначально семействе графических операционных систем, работавших на Xerox более поздних Star рабочих станциях ; Сваха; Промежуточный; КрисаЛисп, от разработчиков TAOS компании Tao Systems.

См. также

• Самомодифицирующийся код

Дальнейшее чтение

• Маккарти, Джон (12 февраля 1979 г.). «Реализация Лиспа» . История Лиспа . Стэндфордский Университет . Проверено 17 октября 2008 г.
• Стил-младший, Гай Л.; Ричард П. Габриэль (1993). Эволюция Лиспа (PDF) . Вторая конференция ACM SIGPLAN по истории языков программирования. Нью-Йорк, штат Нью-Йорк: ACM. стр. 231–270. ISBN  0-89791-570-4 . Архивировано из оригинала (PDF) 12 октября 2006 г. Проверено 17 октября 2008 г.
• Вейч, Джим (1998). «История и описание CLOS». В Салусе, Питер Х. (ред.). Справочник по языкам программирования . Том. IV, Функциональные и логические языки программирования (1-е изд.). Индианаполис, Индиана: Техническое издательство Macmillan. стр. 107–158 . ISBN  1-57870-011-6 .
• Абельсон, Гарольд ; Сассман, Джеральд Джей ; Сассман, Джули (1996). Структура и интерпретация компьютерных программ (2-е изд.). МТИ Пресс. ISBN  0-262-01153-0 .
• My Lisp Experiences and the Development of GNU Emacs , стенограмма выступления Ричарда Столлмана , 28 октября 2002 г., на Международной конференции по Lisp
• Грэм, Пол (2004). Хакеры и художники. Большие идеи компьютерного века . О'Рейли. ISBN  0-596-00662-4 .
• Беркли, Эдмунд К .; Боброу, Дэниел Г. , ред. (март 1964 г.). Язык программирования LISP: его работа и приложения (PDF) . Кембридж, Массачусетс: MIT Press.
  • Статья во многом основана на главе LISP — Простое введение : Беркли, Эдмунд К. (сентябрь 1964 г.). «Язык программирования Lisp: введение и оценка» . Компьютеры и автоматизация : 16-23 .
• Вайсман, Кларк (1967). Учебное пособие по LISP 1.5 (PDF) . Бельмонт, Калифорния: Dickenson Publishing Company Inc.

Внешние ссылки

История

• История Лиспа - Джона Маккарти от 12 февраля 1979 г. история
• История Лиспа — история Герберта Стояна, составленная на основе документов (признанная Маккарти более полной, чем его собственная, см.: Ссылки на историю Маккарти )
• История LISP в Музее истории компьютеров
• Белл, Адам Гордон (2 мая 2022 г.). LISP в космосе, с Роном Гарретом . CoRecursive (подкаст, расшифровка, фотографии). об использовании программного обеспечения LISP на роботах НАСА .
• Кассель, Давид (22 мая 2022 г.). «Программист НАСА вспоминает отладку Lisp в глубоком космосе» . Новый стек .

Ассоциации и встречи

• Ассоциация пользователей Лиспа
• Европейская встреча Common Lisp
• Европейский симпозиум по Лиспу
• Международная конференция по Лиспу

Книги и учебные пособия

• Приведение SPEL в Lisp , вводное руководство в стиле комиксов
• О Лиспе , бесплатная книга Пола Грэма
• Практический Common Lisp , бесплатная версия Питера Сейбеля
• Лисп для Интернета
• Земля Лиспа
• Пусть над лямбдой

Интервью

• Интервью по устной истории с Джоном Маккарти в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис. Маккарти обсуждает свою роль в развитии системы разделения времени в Массачусетском технологическом институте. Он также описывает свою работу в области искусственного интеллекта (ИИ), финансируемую Агентством перспективных исследовательских проектов, включая логический ИИ (LISP) и робототехнику.
• Интервью с Ричардом П. Габриэлем (подкаст)

Ресурсы

• CLiki: вики Common Lisp.
• Каталог Common Lisp (через Wayback Machine ; заархивировано из оригинала )
• Указатель часто задаваемых вопросов по Лиспу
• липпаста
• Планета Лисп
• Еженедельные новости Лиспа
• newLISP — современный язык сценариев общего назначения.
• Лисп Еженедельно
• Лисп в Керли