как правильно оформить интерфейс модуля? но не только символы экспортировать, а указать типы функций/слотов, возможных кондишенов, аргументов макросов и т.д. то есть кусок кода с декларациями и хорошей документацией, по которому сразу ясен _весь_ интерфейс, наподобие .h файлов в C. есть хоть какой-нибудь более-менее универсально употребляемый подход?
Как это правильно контролировать? Например, для A должно быть в образе B, а C должно давать сайдэффект после A и только один раз, плюс это всё в одном пакете и файле.
(defun f (a) (identity a))
(defmacro test (v1 lst ll)
(with-gensyms (x)
`(let ((,x ,(f ll)))
(progn ,@(mapcar #'(lambda (a)
`(list ,a ,x
,x ,v1)) lst))))))
;; работает так
CL-USER> (macroexpand '(test a (1 2 3) b))
(LET ((#:G1293 B))
(PROGN
(LIST 1 #:G1293 #:G1293 A)
(LIST 2 #:G1293 #:G1293 A)
(LIST 3 #:G1293 #:G1293 A)))
;; а нужно
(PROGN
(LIST 1 B B A)
(LIST 2 B B A)
(LIST 3 B B A))
Здравствуйте.
Подскажите, пожалуйста, где можно относительно быстро ознакомиться с различными грамматиками, и их связью с классами задач, выразимых описываемым языком.