[pro] help with macro

[karol skocik]

Hi Lispers,
  I need a help with a following macro I am trying to write:

When the call site looks like this:

(with-typed-arguments (distance) single-float
          (+ (distance a b c d)
             (distance x y z w)))

I want it to expand into something like this:

(+ (DISTANCE (THE SINGLE-FLOAT A) (THE SINGLE-FLOAT B) (THE
SINGLE-FLOAT C) (THE SINGLE-FLOAT D))
    (DISTANCE (THE SINGLE-FLOAT X) (THE SINGLE-FLOAT Y) (THE
SINGLE-FLOAT Z) (THE SINGLE-FLOAT W))))

Now, what I have currently is:

(defmacro with-typed-arguments ((&rest functions) argument-type &body body)
  (flet ((macrolet-body (fun)
           `(,fun (&rest args)
                  `(funcall #',',fun ,@(iter (for arg :in args)
                                             (collect `(the
,',argument-type ,arg)))))))
    `(macrolet (,@(mapcar #'macrolet-body functions))
       , at body)))

But it some things I don't understand:

1.) the function called with typed arguments is called using funcall -
not a show stopper, just a style issue. Without funcall the expansion
loops forever since the expansion does not emit the code, but expands
deeper into infinite recursion of macrolets. Can it be fixed somehow?

2.) in the flet macrolet-body, I have a trouble understanding ,',fun
construction next to the funcall - why the "fun" next to funcall can't
be replaced by macrolet-body argument fun with ,,fun ? It is buried in
`` but ,,fun there just got me (for call (macrolet-body +)) -> `(,+
...). Let me show my trouble in the example:

In this definition:
(defmacro with-typed-arguments ((&rest functions) argument-type &body body)
  (flet ((macrolet-body (fun)
           `(,fun (&rest args)
                  `(funcall #',,fun ,@(iter (for arg :in args)
                                             (collect `(the
,',argument-type ,arg)))))))
    `(macrolet (,@(mapcar #'macrolet-body functions))
       , at body)))

this expansion:
(with-typed-arguments (distance) single-float
          (+ (distance a b c d)
             (distance x y z w)))

results in this:
(MACROLET ((DISTANCE (&REST ARGS)
             `(FUNCALL #',DISTANCE
          ;; <- why is there ,DISTANCE when there is `(... `(... ,,fun
?
                       ,@(ITER
                           (FOR ARG :IN ARGS)
                           (COLLECT `(THE SINGLE-FLOAT ,ARG))))))
  (+ (DISTANCE A B C D) (DISTANCE X Y Z W)))

3.) package-locks - I want it to work with arithmetic functions
(especially!) defined in CL package. That doesn't work, since I can't
make a macrolet ((+ (&rest args) ...) because of package-locks. I am
happy with SBCL specific fix, using SBCL's
sb-ext:disable-package-locks, or sb-ext:without-package-locks, but I
can't make it work.
Especially, I have a trouble understanding, how do I create a symbol
with package prefix needed in declaration like this:
(declare (sb-ext:disable-package-locks cl::+))

Is there a way to prepend the symbol-package and '::' to the given
symbol? How to construct such fully qualified symbol like cl::+?

Thank you,
  Karol