Язык программирования ЛИСП / lisp0002
.htmШаг 2. Простейшие типы данных. Атомы На этом шаге мы начнем изучать простейшие типы данных, в частности, поговорим об атомах.
При рассмотрении типов данных сначала задаются некоторые исходные типы, которые называются простейшими (примитивными, базовыми, элементарными) типами данных. Взгляните на схему, иллюстрирующую классификацию простейших типов данных в языке LISP:
Рис.1. Классификация простейших типов данных
Приступим к рассказу о содержимом каждого блока схемы. Сразу же отметим, что в диалектах muLISP81 и muLISP83 отсутствуют атомы-вещественные числа. Поясним используемые здесь обозначения. Знак "::=" обозначает "определяется как", а "|" - "или". В угловых скобках стоят названия определяемых или уже определенных объектов. Атом является основным простейшим типом данных. В современном мире, когда мы изучаем составные части атома (в физике), такие, как электроны, протоны, нейтроны, легко забыть, что первоначальное значение слова "атом" - это "тот, который не может быть дальше разделен", но именно в этом смысле "атом" употребляется в языке LISP. (Греческие корни "а" - не, "том" - часть; том также означает часть большой книги). Атомы могут быть числовыми, литеральными и строковыми. В нотации Бэкуса-Наура это выглядит так: <Атом> ::= <Числовой_атом> | <Литеральный_атом> | <Строковый_атом> | T | NIL a) Литеральный атом (идентификатор) - это последовательность букв и цифр, начинающаяся с буквы. Отметим важную особенность интерпретаторов muLISP81 и muLISP83: большие и маленькие буквы считаются различными, поэтому, например, атомы NAME, Name и name не являются идентичными. Примеры литеральных атомов: LISP, APRPARAPR. К литеральным атомам относятся специальные литеральные атомы: NIL - логическое значение "ложь" и одновременно обозначение пустого списка, T - логическое значение "истина". В нотации Бэкуса-Наура это выглядит так: <Литеральный_атом> ::= <Буква> | <Буква> <Последовательность> <Последовательность> ::= <Правильный_символ> | <Правильный_символ> <Последовательность> <Правильный_символ> ::= <Буква> | <Цифра> <Цифра> ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 <Буква> ::= A | B | C | D | E | F | G | H | I | G | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | b) Разъясним смысл термина числовой атом с помощью нотации Бэкуса-Наура для версий muLISP81 и muLISP83 (в которых отсутствуют вещественные числовые атомы): <Числовой_атом> ::= <Целое_без_знака> | +<Целое_без_знака> | -<Целое_без_знака> <Целое_без_знака> ::= <Цифра> | <Цифра> <Целое_без_знака> <Цифра> ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 Приведем примеры числовых атомов: 0 23423 +2345 -345 c) Строковый атом - последовательность символов, начинающаяся и заканчивающаяся кавычками ("). Строковые атомы (строки) отличаются от литеральных атомов (идентификаторов) тем, что могут содержать в качестве элементов разделители атомов: пробелы, точки, запятые и т.д., но не должны содержать внутри себя символа "(кавычка). В нотации Бэкуса-Наура это выглядит так: <Строковый_атом> ::= "<Последовательность любых символов, не содержащая символа кавычка>" Максимальное количество символов в строковом атоме в диалекте muLISP81 - 120.
На следующем шаге будет продолжено рассмотрение простейших типов данных.
Предыдущий шаг Содержание Следующий шаг