if statement - Is the "else" keyword, used as final case in a cond-expression, a special form in Scheme?

Question

The cond-expression in Scheme is a special form, but is the else keyword, used as final case in a cond-expression, a special form? Or is it just a reserved keyword that is essentially equivalent to the truth-value #t ? In the latter case, why cannot I write something like (?eq else #t)?

question from:https://stackoverflow.com/questions/65831822/is-the-else-keyword-used-as-final-case-in-a-cond-expression-a-special-form-i

Answer 1

The Scheme standards call else, as used in a cond form, auxiliary syntax. R6RS shows one possible implementation of cond using syntax-rules; here else is called a <literal>:

(define-syntax cond
  (syntax-rules (else =>)
    ((cond (else result1 result2 ...))
     (begin result1 result2 ...))
;; ...

Note that else is not a replacement for #t. A <literal> is an identifier that is used to match input subforms; it is treated as a syntactic keyword within the syntax-rules form.