Русская Википедия:Common Lisp

Common Lisp (сокращённо — CL) — диалект языка программирования Лисп, стандартизированный ANSI^[1]. Был разработан с целью объединения разрозненных на момент начала 1980-х годов диалектов Лиспа; доступно несколько реализаций Common Lisp, как коммерческих, так и свободно распространяемых.

Стандарт фиксирует язык как мультипарадигменный: поддерживается комбинация процедурного, функционального и объектно-ориентированного программирования. В частности, объектно-ориентированное программирование обеспечивается входящей в язык системой CLOS; а система лисп-макросов позволяет вводить в язык новые синтаксические конструкции, использовать техники метапрограммирования и обобщённого программирования.

История

Работа над диалектом началась в 1981 году по предложению управляющего DARPA Боба Энгельмора.

Разработка координировалась посредством электронной почты, первоначальная структура языка существенно переработана по мере продвижения. Первый обзорный материал по разработке стандарта представлен Гаем Льюисом Стилом на Симпозиуме ACM по Лиспу и функциональному программированию в 1982 году, а первый документ по языку опубликован в 1984 году («Язык Common Lisp, первая редакция»). Вторая редакция, выпущенная в 1990 году, включала много изменений, произведённых ANSI над языком в процессе стандартизации. Конечную же редакцию стандарта опубликовали в 1994 году.

По состоянию Шаблон:На никаких обновлений стандарта выпущено не было, а различные расширения и улучшения для Common Lisp (такие, как поддержка Юникода, параллелизм, основанные на CLOS ввод-вывод) обеспечиваются реализацией и библиотеками (многие доступны посредством Quicklisp).

Синтаксис

Common Lisp использует S-выражения для обозначения как кода, так и данных. Вызовы функций и макросов являются списками, где первый элемент, или голова списка, является именем функции, а остальные, — «хвост» списка, — аргументами.

(+ 2 2)                       ; складывает 2 и 2, возвращая результат 4. 
(- 8 3)                       ; вычитает из восьми три, возвращая результат 5. 
(reverse "Здравствуй, мир!")  ; переворачивает строку, возвращая «"!рим ,йувтсвардЗ"»

;; определения переменных и функций:
(defvar *x*)                  ; Определяет переменную *x*, не присваивая ей какого-либо
                              ; значения. Две звёздочки, являющиеся частью имени — принятый 
                              ; стандарт для именования глобальных переменных.

(setf *x* 42.1)               ; присваивает переменной *x* значение с плавающей запятой 42,1.

(defun square (x)             ; Определение функции square, получающей один аргумент
  (* x x))                    ; и возвращающей его квадрат.

(square *x*)                  ; вызывает функцию square, передавая ей значение переменной *x*
                              ; и возвращает её квадрат (1772,41).

(let ((a 3)(b 4)) (+ a b))    ; Специальная форма let создаёт локальные переменные, присваивает им значения
                              ; (в данном случае переменной a присваивается значение 3, а b - 4), 
                              ; после чего вычисляет и возвращает результат функции
                              ; (в данном случае 7). Переменные локальны, следовательно
                              ; попытка посчитать значение (+ a b) вне тела let приведёт к ошибке.

Типы данных

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

Числовые типы включают в себя целые, дроби, числа с плавающей запятой и комплексные числа^[2]. Common Lisp даёт возможность использовать большие числа для представления любых величин с большей точностью.

Литеры в Common Lisp не ограничены ASCII, большинство современных реализаций поддерживает Юникод.

Понятие символа, практически не используемое в таком виде в других языках — одно из ключевых, это уникальный объект из данных, включающих в себя: имя, значение, функцию, список свойств и пакет (пространство имён). Символы в Лиспе часто используются так же, как идентификаторы в других языках: для хранения значения переменной. Однако, у них есть множество других применений. Обычно, когда символу присваивается значение, оно тут же им и возвращается. Некоторые символы присваивают значение сами себе, так, например, булевы значения представлены в качестве двух самоопределяющихся символов, — T и NIL.

Есть несколько функций для округления скалярных типов разными способами. Функция round округляет аргумент до ближайшего целого числа, а если число стоит «посередине», то до ближайшего чётного. Функция truncate округляет числа по направлению к нулю. Функции floor и ceiling округляют к ближайшему меньшему и ближайшему большему числу соответственно. Все функции возвращают дробную часть в качестве вторичного результата.

Структуры данных

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

Как и почти во всех других диалектах Лиспа, списки в Common Lisp состоят из точечных пар (Шаблон:Lang-en2). cons — это структура данных с двумя слотами: car и cdr. Список является связной цепочкой точечных пар (или может быть пустым). car каждой пары ссылается на элемент списка (возможно, другой список). cdr каждой пары ссылается на следующую пару, за исключением последней пары в списке, чей cdr ссылается на значение nil. Точечные пары также легко могут быть использованы для реализации деревьев и других сложных структур данных; хотя вместо этого, как правило, рекомендуется использовать структуры или экземпляры классов. Кроме того, можно создать циклическую структуру данных с точечными парами.

Common Lisp поддерживает многомерные массивы и может динамически изменять размер у регулируемых массивов, если потребуется. Многомерные массивы могут быть использованы для матричных вычислений. Вектор является одномерным массивом. Массивы могут содержать любой тип в качестве элемента (даже смешивать разные типы в одном массиве) или могут быть специализированы, чтобы содержать только определённый тип. Обычно поддерживаются только несколько типов. Многие реализации могут оптимизировать функции работы с массивами, когда массив типоспециализирован. Есть два стандартных типоспециализированных массива: строка, являющаяся вектором символов (char), и вектор битов.

Хеш-таблица хранит отображение между объектами. Любой объект может быть использован в качестве ключа или значения. Хеш-таблицы автоматически изменяют размер по мере необходимости.

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

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

Классы — часть объектной системы CLOS, — похожи на структуры, но они обеспечивают возможности множественного наследования и более динамического поведения. Классы были добавлены в Common Lisp поздно, и в чём-то концептуально перекрывают структуры. Объекты, созданные из классов, называются экземплярами. Особым случай являются обобщённые функции, являющиеся одновременно функциями и экземплярами.

Функции

Common Lisp поддерживает функции первого класса. Например, можно писать функции, принимающие другие функции в качестве аргументов или возвращающие функции.

Библиотека Common Lisp в значительной степени основывается на таких функциях. Например, функция sort берёт функцию сравнения и, опционально, функцию ключа, чтобы сортировать структуры данных согласно ключу.

 ;; Сортирует список, используя функции > и <.
 (sort (list 5 2 6 3 1 4) #'>)   ; возвращает (6 5 4 3 2 1)
 (sort (list 5 2 6 3 1 4) #'<)   ; возвращает (1 2 3 4 5 6)

 ;; Сортирует список по первым элементам подсписков.
 (sort (list '(9 A) '(3 B) '(4 C)) #'< :key #'first)   ; возвращает ((3 B) (4 C) (9 A))

Определение функций

Макрос defun определяет функцию. defun принимает имя функции, имена параметров и тело функции:

 (defun square (x)
   (* x x))

Определения функций могут включать директивы компилятора, известные как Шаблон:Lang-en, которые дают подсказки компилятору об оптимизациях или о типах аргументов. Также могут быть добавлены строки документации (Шаблон:Lang-en2), которые Лисп может использовать для предоставления документации:

 (defun square (x)
   "Calculates the square of the single-float x."
   (declare (single-float x) (optimize (speed 3) (debug 0) (safety 1)))
   (the single-float (* x x)))

Анонимные функции определяются с помощью lambda, например, (lambda (x) (* x x)) — функция возведения в квадрат. Стиль программирования на Лиспе подразумевает частое использование функций высшего порядка, в которые удобно передавать анонимные функции как аргументы.

Локальные функции могут быть объявлены с помощью flet и labels.

 (flet ((square (x)
          (* x x)))
   (square 3))

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

Реализации

Common Lisp отличается от таких языков, как C#, Java, Perl, Python тем, что он определяется своим стандартом и не существует его единственной или канонической реализации. Любой желающий может ознакомиться со стандартом и создать свою собственную реализацию. Common Lisp автоматически признаёт эти типы как равные.^[3]

**Таблица сравнения основных реализаций**^[4]^[5]
Название	Поддерживаемые платформы	Компиляция	Возможности	Лицензия
CLISP^[6]	Windows, Mac, *nix	Байт-код, JIT	Маленький размер образа лисп-системы. Очень эффективная длинная целочисленная арифметика. Возможность создания исполняемых файлов. FFI(интерфейс для вызова низкоуровневых функций(функций из библиотек, написанных на Си и т. п.) и для оперирования «неуправляемой» памятью). Функции обратного вызова(интеграция с «родным» кодом платформы).	GNU GPL
CMUCL^[7]	Linux, FreeBSD, Solaris, Darwin	Байт-код, машинный код	Высококачественный компилятор в машинный код. FFI. Функции обратного вызова(интеграция с «родным» кодом платформы).	Общественное достояние с частями под BSD License
ECL	Windows, *nix, Mac OS X	Байт-код, машинный код через Си	Хорошая интеграция с программами на Си и с непосредственно исполняемым кодом платформы (FFI, функции обратного вызова, возможность создания бинарных динамических и статических библиотек). Возможность создания исполняемых файлов. Многопоточность на всех поддерживаемых платформах.	GNU GPL с частями под другими лицензиями
Clozure CL (бывший OpenMCL)^[8]	Linux/PPC, Linux/X86-64, Darwin/PPC, Darwin/X86-64, FreeBSD/X86-64, Windows	Машинный код	Быстрый компилятор. Мощный и удобный FFI. Функции обратного вызова (интеграция с бинарным кодом платформы). Возможность создания исполняемых файлов. Многопоточность на всех поддерживаемых платформах.	LGPL
SBCL^[9]	Linux, BSD, Solaris, Mac OS X (Darwin), Windows (экспериментально)	Машинный код	Развитый компилятор в машинный код. Возможность создания исполняемых файлов. FFI. Функции обратного вызова (интеграция с бинарным кодом платформы). Многопоточность на Linux, Solaris 10 и Mac OS X.	Общественное достояние с частями под MIT License и BSD License
ABCL^[10]	JVM	байт-код JVM	Интерфейс к платформе Java. Многопоточность. Платформонезависимость.	LGPL
Allegro Common Lisp^[11]	Windows, Unix, Linux, Mac OS X	Машинный код		Коммерческая, доступна ограниченная демоверсия
LispWorks^[12]	Windows, *nix, Mac OS X	Машинный код	Развитая IDE. CAPI — библиотека для создания пользовательского интерфейса. Хорошая интеграция с программами на Си и с «родным» кодом платформы (FFI, функции обратного вызова, возможность создания «родных» для платформы динамических и статических библиотек). Возможность создания исполняемых файлов. Многопоточность на всех поддерживаемых платформах.	Коммерческая, доступна ограниченная демоверсия
Corman Common Lisp	Windows	Машинный код		С 2015 года — MIT License. Изначально распространялся как Shareware, с доступным исходным кодом системы (исключая IDE)

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Common Lisp Шаблон:Лисп Шаблон:Языки программирования

↑ ANSI INCITS 226—1994 (R2004), ранее X3.226-1994 (R1999)
↑ Features of Common Lisp Шаблон:Webarchive
↑ Шаблон:Cite web
↑ Шаблон:Cite web
↑ Lisp Implementations Шаблон:Webarchive
↑ [[[:Шаблон:Cite web]] GNU CLISPШаблон:Ref-en.]
↑ Шаблон:Cite web
↑ Шаблон:Cite web
↑ [[[:Шаблон:Cite web]] Steel Bank Common LispШаблон:Ref-en]
↑ Шаблон:Cite web
↑ [[[:Шаблон:Cite web]] Allegro CL — разработчик Franz Inc.Шаблон:Ref-en]
↑ LispWorks Шаблон:Wayback. Разработчик — LispWorks, LLC (ранее Xanalys, Inc.)

[1] ANSI INCITS 226—1994 (R2004), ранее X3.226-1994 (R1999)

[2] Features of Common Lisp Шаблон:Webarchive

[3] Шаблон:Cite web

[4] Шаблон:Cite web

[5] Lisp Implementations Шаблон:Webarchive

[6] [[[:Шаблон:Cite web]] GNU CLISPШаблон:Ref-en.]

[7] Шаблон:Cite web

[8] Шаблон:Cite web

[9] [[[:Шаблон:Cite web]] Steel Bank Common LispШаблон:Ref-en]

[10] Шаблон:Cite web

[11] [[[:Шаблон:Cite web]] Allegro CL — разработчик Franz Inc.Шаблон:Ref-en]

[12] LispWorks Шаблон:Wayback. Разработчик — LispWorks, LLC (ранее Xanalys, Inc.)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Русская Википедия:Common Lisp

Содержание