Введение в Common Lisp: Основы языка и работа со списками

ignusius — Tue, 14 Dec 2010 08:54:04 +0000

Вот и готова новая статья по основам языка Lisp, старался сделать всё довольно кратко. Перед прочтением этой статьи советую прочитать Введение в Common Lisp: Установка и первый запуск . Я изложил более компактное содержание нескольких глав книги "МИР ЛИСПА. Т.1"

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

devhead.ru <=> DEVHEAD.RU

На ряду с символами используются числа:

123 ; Целое число

12.3 ; Десятичное число

1.23Е4 ; число, представленное мантиссой и порядком

Логические значения

Логические значения True и False, нам известны из многих языков программирования, но в место привычных значений в Лиспе используют T и NIL.

T <== True (истина)

NIL <== False (ложь)

Построение списков из атомов и подсписков

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

(a b (c d)e) ; Список состоит из 3 символов и одного подсписка, который состоит из 2 символов.

() ; Пустой список

(NIL) ; пустой список

Атомы и списки называются символьными выражениями или s-выражениями.

Лисп в качестве калькулятора :)

Когда пользователь заканчивает ввод какого нибудь выражения, то интерпретатор вычисляет evaluate (eval) и выдает значение этого выражения.

Например:

>>(+ 2 2)

4

>>(- 3 2)

1

>>(* 3 3)

9

>>(/ 6 2)

3

>>(/ 6.0 2.5) ; Вычисления с десятичными числами

2.3999999999999999

>>(+ (* 3 2)(+ 2 2))

10

QUOTE блокирует вычисление выражения

Например:

>>(quote (+ 2 3))

(+ 2 3)

>>'(+ 2 3)

(+ 2 3)

Апостроф перед выражением является сделан для упрощения и эквивалентен QUOTE.

Работа со списками

Первый элемент списка называют головой, а остаток от списка хвостом.

'(голова хвост хвост хвост)

CAR функция возвращает головную часть списка:

>>(CAR '(голова хвост хвост хвост))

ГОЛОВА

CDR функция возвращает хвост списка:

>>(CDR '(голова хвост хвост хвост))

(ХВОСТ ХВОСТ ХВОСТ)

LAST - последний элемент из списка

>>(LAST '(test hello))

HELLO

NTH более простая и наглядная функция извлечения из списка.

>>(NTH 1'(голова хвост хвост хвост)) ; извлекаем второй элемент

ХВОСТ

>>(NTH 0'(голова хвост хвост хвост)) ; извлекаем первый элемент

ГОЛОВА

Функция CAR,CDR и NTH имеет смысл только для аргументов, являющихся списками.

CONS функция включает новый элемент вначало списка.

>>(CONS 'голова '(хвост хвост))

(ГОЛОВА ХВОСТ ХВОСТ)

АТОМ проверяет, является ли аргумент атомом.

>>(ATOM 'атом) ; Это атом

T >>

(ATOM '(голова хвост)) ; Это не атом

NIL

NULL проверка на пустой список

>>(NILL '())

T

>>(NILL '(test test))

NIL

LIST создает список из элементов

>>(LIST 1 2 3)

(1 2 3)

>>(LIST 'test '(hello))

(TEST (HELLO))

EQ сравнивает два синвола и если они равны, возвращает T, а иначе NIL.

>>(EQ 't 't)

T

>>(EQ 'test (car '(test test1)))

T

EQL сравнивает числа одинаковых типов:

>>(EQL 1 1)

T

>>(EQL 1.0 1.0)

T

>>(EQL 1 1.0) ; числа разных типов NIL

Чтобы сравнить числа с разными типами, то нужно воспользоваться :

>>(= 1 1.0)

T

EQUAL может сравнивать записи:

>>(equal 'test 'test)

T

>>(equal '(test test1) '(test test1))

T

EQUALP проверяет любое логическое равенство, но при этом он для этого требуется на много больше вычислений, в следствии чего падает быстродействие.

>>(equalp '(test test1) '(test test1))

T

>>(equalp 2 2.0)

T

Ссылки

Введение в Common Lisp: Установка и первый запуск

http://lisp.ru/

Введение в Common Lisp: Установка и первый запуск

ignusius — Mon, 13 Dec 2010 22:14:34 +0000

Около года назад, я заинтересовался языком программирования Lisp, по ряду причин, одна из самых веских это эффективное использование GNU Emacs. Представляю вашему вниманию ряд статей, которые будут писаться в зависиости от моего свободного времени. Почему Common Lisp, а не Emacs Lisp? Я посчитал, что лучше дать более общее представление о Лиспе, чем более узкое. Common Lisp — диалект языка Лисп, стандартизированный ANSI. Разработанный с целью привести к общему знаменателю множество существовавших на тот момент диалектов Лиспа, является скорее стандартом языка, нежели отдельной реализацией. Доступно несколько реализаций Common Lisp, как коммерческих, так и свободно распространяемых.Common Lisp включает в себя CLOS; систему Lisp макросов, позволяющую вводить в язык новые синтаксические конструкции, использовать техники метапрограммирования и обобщённого программирования.

Установка

Ubuntu

Мы будем использовать GNU Common Lisp(GCL), для того, чтобы его установить воспользуемся Центр приложений Ubuntu.

или выполнив команду в терминале:

sudo apt-get install gcl

Windows

Версию для Windows можно скачать по этому адресу

Прямая ссылка на версию 2.6.7

Далее как обычная установка программы, я думаю, что тут нет не чего сложного.

Первый запуск

Ubuntu

Приложения --> Стандартные-->Терминал В открытом окне пишем:

gcl

Получаем окно с приглашением Lisp:

Windows

Нажимаем "Пуск" и выбираем "Все программы", далее как на скриншоте.

Нажимаем на GNU Common Lisp и увидите окно с приглашение Lisp:

Мы сделали первый шаг в язык программирования Lisp, я думаю что это язык не на столько сложный, как кажется на первый взгляд, т.ч постараюсь излагать довольно просто, даже для обычного обывателя!

Ссылки

Введение в Common Lisp: Основы языка и работа со списками

/dev/head » edu

Введение в Common Lisp: Основы языка и работа со списками

Логические значения

Построение списков из атомов и подсписков

Работа со списками

Ссылки

Введение в Common Lisp: Установка и первый запуск

Установка

Ubuntu

Windows

Первый запуск

Ubuntu

Windows

Ссылки