Am Mi., 4. März 2020 um 19:12 Uhr schrieb Jim Rees <>:

(define-syntax +
   (lambda (stx)
      (syntax-case stx ()
         ((_ x y) #'(fast-binary-plus x y)
         ((_ arg ...) #'(slow-general-plus arg ...))
         ((id (identifier? #'id) #'slow-general-plus))))

..otherwise, the (_ #'slow-general-plus) clause will match the entire form (+ a b c d ...), not just the identifier +, and the result of expression will be the slow-general-plus procedure object.

This should also resolve John's concern.

Ah, now I understand John's concern (if it was this). :) And, yes, that clause was missing in my code.

On Tue, Mar 3, 2020 at 8:37 AM John Cowan <> wrote:

On Tue, Mar 3, 2020 at 5:16 AM Marc Nieper-Wißkirchen <> wrote:

(define-syntax +
  (lambda (stx)
    (syntax-case stx ()
      ((_ x y) #'(fast-binary-plus x y))
      (_ #'slow-general-plus))))

It should now work in any R6RS system and in any R7RS system that supports this fragment of the `syntax-case' system.

Except that it will now be impossible to use (apply + '(1 2 3 4)), unless you have a non-standard Scheme that allows both syntax and variable bindings for the same identifier.  Being able to apply procedures to a programmatically generated list of arguments is a standard and important part of functional languages.  In addition, it becomes impossible to put + into a data structure.

CL has this feature, named "compiler macros"; they override a function binding in the compiler, but do not affect any use of the function object at run time.  From what I understand, they are not heavily used.

John Cowan
Objective consideration of contemporary phenomena compel the conclusion
that optimum or inadequate performance in the trend of competitive
activities exhibits no tendency to be commensurate with innate capacity,
but that a considerable element of the unpredictable must invariably be
taken into account. --Ecclesiastes 9:11, Orwell/Brown version

Prof. Dr. Marc Nieper-Wißkirchen
Universität Augsburg
Institut für Mathematik
Universitätsstraße 14
86159 Augsburg
Tel: 0821/598-2146
Fax: 0821/598-2090