:)

Same thought at the same time!

The other Marc.

Am Mi., 6. Nov. 2019 um 19:16 Uhr schrieb Marc Feeley <xxxxxx@iro.umontreal.ca>:
>
>
> > On Nov 6, 2019, at 1:10 PM, John Cowan <xxxxxx@ccil.org> wrote:
> >
> > If you are willing to quote them when used as expressions (as in Kawa and Racket), it *is* easy, and I can add that to the lexical docket.  But self-evaluation is the part that's going to require work.
>
> Could you explain why you think it is harder than adding a test like this:
>
>   (define (self-evaluating? expr)
>     (or (boolean? expr)
>         (number? expr)
>         (string? expr)
>         (char? expr)
>         (vector? expr)
>         (keyword? expr) ;; added to support self-evaluating keywords
>         …))
>
> Marc
>
>

--
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/