В Common Lisp есть последовательная форма (do *vars* *test* *body*)
; точно так же, как последовательный параллельный let*
let, он работает через *vars*
по одному, так что вы можете ссылаться на ранее определенные переменные следующим образом:
(do* ((a '(1 2 3) (cdr a))
(b (mapcar (lambda (x) (1+ x)) a) (cdr b)))
((= 1 1) (list 'a a 'b b)))
; (a (1 2 3) b (2 3 4))
В схеме, насколько мне известно, нет коррелирующей функции или макроса. Есть do
, но нет do*
. Я пытался написать реализацию do*
для Chicken Scheme, но пока что я изо всех сил пытаюсь добиться каких-либо успехов... Думаю, я не могу точно сказать. Я знаком с Chicken Scheme, но всегда находил макросы схемы сбивающими с толку.
Вот что у меня есть:
(##sys#extend-macro-environment
'do*
'()
(##sys#er-transformer
(lambda (form r c)
(##sys#check-syntax 'do* form '(_ #((symbol _ . #(_)) 0) . #(_ 1)))
(let* ((bindings (cadr form))
(test (caddr form))
(body (cdddr form))
(do*var (r 'doloop)))
`(let*
,do*var
,(##sys#map (lambda (b) (list (car b) (car (cdr b)))) bindings)
(##core#if ,(car test)
,(let ((tbody (cdr test)))
(if (eq? tbody '())
'(##core#undefined)
`(##core#begin ,@tbody) ) )
(##core#begin
,(if (eq? body '())
'(##core#undefined)
`(##core#let () ,@body) )
(##core#app
,do*var ,@(##sys#map (lambda (b)
(if (eq? (cdr (cdr b)) '())
(car b)
(car (cdr (cdr b))) ) )
bindings) ) ) ) ) ) ) ) )
Но я продолжаю получать ошибки, такие как doloop
, не являющийся списком - в настоящее время я получаю
Error: during expansion of (do* ...) - in `do*' - symbol expected: (do* ((a (quote (1 2 3)) (cdr a)) (b (map (lambda (x) (+ 1 x)) a) (cdr b)) ((= 1 1) (list (quote a) a (quote b) b))))
Call history:
<syntax> (do* ((a (quote (1 2 3)) (cdr a)) (b (map (lambda (x) (+ 1 x)) a) (cdr b)) ((= 1 1) (list (quote a) a...
<eval> (##sys#check-syntax (quote do*) form (quote (_ #((symbol _ . #(_)) 0) . #(_ 1)))) <--
Вот приблизительный пример do*
на Common Lisp, взятый из HyerSpec:
(block nil (let ((var1 init1) (var2 init2) ... (varn initn)) declarations (loop (when end-test (return (progn . result))) (tagbody . tagbody) (psetq var1 step1 var2 step2 ... varn stepn))))
do* аналогична, за исключением того, что let* и setq заменяют let и psetq соответственно.
А вот во что расширяется do*
в CL:
(expand-form '(do* ((a '(1 2 3) (cdr a))
(b (mapcar (lambda (x) (1+ x)) a) (cdr b)))
((= 1 1) (list 'a a 'b b))))
(block nil
(let* ((a '(1 2 3)) (b (mapcar #'(lambda (x) (declare (system::source ((x) (1+ x)))) (1+ x)) a)))
(tagbody #:loop-5382 (if (= 1 1) (go #:end-5383)) (setq a (cdr a) b (cdr b)) (go #:loop-5382) #:end-5383 (return-from nil (list 'a a 'b b))))) ;
;t