[noob] Lisp и DSL - научите!

Наверное, стоит записать грамматику и воспользоваться каким-нибудь инструментом для генерации парсеров (http://www.cliki.net/parser)

Можно посмотреть на antlr. Не знаю, правда, умеет ли она lisp.

Можно посмотреть на antlr. Не знаю, правда, умеет ли она lisp.

Jetbrains MPS at jetbrains.com

Вся соль в том, что хочу разобраться, как сделать это самому.

Лисперы постоянно говорят, что на Лиспе легко делать DSL, вот я и хочу разобраться - как это делать.

Лисп - это говно.

На лиспе легко сделать DSL:) Если DSL построен на s-expr'ах, то пишется совсем просто. Так как есть макросы, с помощью которых легко преобразовывать исходный код.

Если не на s-expr'ах, то нужна грамматика, будь это трижды лисп или трижды джава. Если хочется, то парсер можно встроить в лисповский парсер, чтобы DSL можно было использовать прямо в исходном коде рядом с лисповским кодом (правда, у текстового редактора будут проблемы с подсветкой и редактированием такого кода).

Для парсеров есть свои DSL (в тех же cl-yacc или fucc). Использовать их проще, так как не нужно отдельных файлов с грамматикой, отдельных шагов компиляции. В этом тоже преимущество лиспа.

> Лисперы постоянно говорят, что на Лиспе легко делать DSL

Анонимные лисперы это говорили, пока их не зобанели %)

> Для парсеров есть свои DSL (в тех же cl-yacc или fucc). Использовать их проще, так как не нужно отдельных файлов с грамматикой, отдельных шагов компиляции. В этом тоже преимущество лиспа.

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

>И вот уже на основе этого строятся макросы, функции и классы - здесь вроде все понятно.

Напиши пока эти самые макросы, функции и классы (а они тебе правда нужны?). Отладь всё это.

Кстати, при отладке и тестировании, использование языка в S-exp даст тебе преимущества (можно и пробные куски кода сгенерировать, причём прямо в REPL:)).

>У меня затык возник на стадии парсинга из исходного представления в s-выражения.

Парсер целевой грамматики в S-exp я делаю в последнюю очередь, т.к. это почти механическая работа: описал грамматику, cl-yacc в зубы и вперёд.

Спасибо за доходчивый ответ.

>К Лиспу это не имеет никакого отношения.

Ну так человек это и сказал (цитирую):

"Если не на s-expr'ах, то нужна грамматика, будь это трижды лисп или трижды джава."

К теме. Я вот присоединяюсь к совету начать с записи целевых s-expr, написать макросы, а уж потом уже решать вопрос с преобразованием. Я примерно так и сделал. Исходный файл у меня описан в XML. Я сначала записал, как я хочу это видеть в s-выражениях и написал макросы, а потом уже взял простой парсер XML (xmls) и сгенерировал необходимые мне s-выражения.

Возникли сложности. Язык изменил, приведя к следующему виду:
(defparameter *example-language-line* '(device videocard "Videocard"
					((vendor-id required int "Vendor" (units nil) (value nil))
					 (device-id required int "Device" (units nil) (value nil))
					 (released optional date "Release Date" (units nil) (value nil))
					 (inventory-id required string "Inventory #" (units nil) (value nil))
					 (status required (enum ordered in-store in-repair stopped-using wrote-off) "Status" (units nil) (value ordered)))))

Рожденная мною макра выглядит так:

(defmacro device (name label standalone? &body fields)
  `(progn
     (defclass ,name ()
       ((label
	 :type string
	 :initform ,label)
	(standalone?
	 :type boolean
	 :initform ,standalone?)
	,@(loop for (slot nil nil nil) in fields
	     collect slot)))))

Вопросы такие:
1. В какую структуру лучше запихнуть строки типа:
(vendor-id required int "Vendor" (units nil) (value nil)),
учитывая, что на основе первого элемента будут генерить слоты класса в макре device?
2. Как собственно сгенерить слоты учитывая, что мне понадобятся такие штуки, как типы данных, initarg, initform и accessor?
3. Где найти справочник по функциям/макрам Лиспа?