Элементарная реализация Лиспа - HomeLisp (http://homelisp.ru). Среда - Windows (любой версии). Есть подробная документация. Программа - FreeWare.

Может быть, и до этого дойдет. А Вы посмотрели, что есть и чего нет в HomeLisp-е?

Ну, что же, надо будет заняться...

Понятия атом и символ - эквивалентны.

Существует всего три стандартизированных диалекта лиспа: ISLISP, Scheme, Common Lisp. Для них можно найти необходимые библиотеки, т.е. не нужно создавать велосипеды.

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

> (set! |a, b, c| 99)

> (string->symbol "a, b, c")

|a, b, c|

> (eval (string->symbol "a, b, c"))

99

> (eval (string->symbol " a, b, c"))

Error: variable | a, b, c| is not bound.

> (eval (string->symbol "a, B, c"))

Error: variable |a, B, c| is not bound.

В Common Lisp то же самое, можно создавать причудливые символы между вертикальными чертами. Наверняка в схеме есть функция atom, что она говорит на числа и строки? В Common Lisp она возвращает T. Я тут нашел в CLTL2, что в INTERLISP атомами были только символы и числа.

In some Lisp dialects, notably Interlisp, only symbols and numbers are considered to be atoms; arrays and strings are considered to be neither atoms nor lists (conses).

А диалектов лиспа пожалуй побольше будет...

Символ - это идентификатор, простой объект содержащий имя(последовательность любых разрешенных символов). Атом - это более обобщенное понятие, и в схеме не используется(хотя многие реализации поддерживают atom?).

Поведение symbol? отличается от atom.

> (symbol? '())

#f

> (symbol? 123)

#f

> (symbol? "asd")

#f

> (symbol? 'asd)

#t

В отличие от других диалектов Лиспа, пустой список "()" в Схеме трактуется как истина.

В Common Lisp, приверженцем которого я являюсь, символ это одно, а атом - другое. Мне кажется, это правильно с точки зрения того, что атом по смыслу слова - это "неделимый обьект", а символ - "графическое представление чего-то". Вектора могли бы и не быть атомами, но если мы говорим о списках - есть cons и atom. Так и в Common Lisp и, судя, по приведенному выше, в Scheme, причем Схема пошла дальше и вообще исключила понятие "атом". Да и правильно, его (предикат) легко определить. Но, поскольку система называется (Home) Lisp, упоминание Scheme уводит нас в сторону. И вообще, мой вопрос был к тому, что было бы полезно выяснить, к какому диалекту ближе всего реализованный Вами язык (описанный в недоступной для меня книге Л-С). Может быть, Lisp 1.5? Тогда пользователь бы знал, что он изучает, разбираясь с системой.

Арсений