Am So., 20. Okt. 2019 um 12:17 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>: > > > > On Sun, Oct 20, 2019 at 12:12 AM Shiro Kawai <xxxxxx@gmail.com> wrote: >> >> >> (3) You want to read a list of arguments from file and pass them to 'z'. 'z' takes keyword >> arugments. If keywords should be identifiers, how you can convert symbols read from >> the file to appropriate identifiers? > > > Actually it doesn't even need to be read from a file. You may want to construct the argument > list separately from the actual call. > > (define z-args `(arg1 arg2 test: ,eqv?)) > ... > (apply z z-args) > > How can you include test:, if that needs to be an identifier? Obviously, when we want hygienic identifiers as keywords, argument lists cannot be constructed using quasiquote alone. So far, we have only debated about the semantics, not about the syntax. But one conceivable syntax could be that a keyword like `test:' can be used as keyword in a special form so that your example becomes: (define z-args `(arg1 arg2 ,(test: eqv?))) > -- 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 E-Mail: xxxxxx@math.uni-augsburg.de Web: www.math.uni-augsburg.de/alg/mitarbeiter/mnieper/
