Scheme编写mycount、tagmatch函数触发语法格式不合法报错咨询

错误根源 #

所有报错均来自define定义函数时的语法拼接错误，混淆了Scheme提供的两种合法函数定义格式：

• 两种合法的define函数定义范式：
  • 糖衣简写范式：结构为(define (函数名 形参1 形参2 ...) 函数体)，括号范围覆盖函数名、全部形参，后续直接接函数体表达式。
  • 显式lambda范式：结构为(define 函数名 (lambda (形参1 形参2 ...) 函数体))，函数名作为单独的绑定值，右侧为完整的lambda匿名函数对象。
• 你当前的代码是强行将两种范式嵌套拼接，形成了非法结构：
  比如报错日志中的(define (mycount (lambda ...)))，相当于在糖衣范式里错误地把lambda整个表达式放到了形参列表的位置，既没有在括号内写完mycount的形参，又多开了一层不必要的括号把mycount和lambda绑定值包在了一起。tagmatch的代码存在完全相同的结构错误。
• 附带的非核心但易触发解析问题的细节：
  • 代码块末尾存在多余的闭合右括号，打乱了整个表达式的括号配对逻辑。
  • 比较运算符=、car等函数调用两侧缺失必要空格，部分严格遵循R5RS/R6RS标准的解释器会直接判定为非法标识符。

修正后的可运行代码 #

; 写法1：使用糖衣简写形式定义mycount
(define (mycount n lst)
  (cond
    ((null? lst) 0)
    ((= (car lst) n) (+ 1 (mycount n (cdr lst))))
    (else (mycount n (cdr lst)))))

; 写法2：使用显式lambda形式定义mycount（和写法1完全等价）
; (define mycount
;   (lambda (n lst)
;     (cond
;       ((null? lst) 0)
;       ((= (car lst) n) (+ 1 (mycount n (cdr lst))))
;       (else (mycount n (cdr lst))))))

; 修正后的tagmatch函数
(define (tagmatch n lst)
  (cond
    ((null? lst) '())
    ((= (car lst) n) (cons 1 (tagmatch n (cdr lst))))
    (else (cons 0 (tagmatch n (cdr lst))))))

写法校验规则 #

• 写define函数时，先确认选择的定义范式，不要中途切换嵌套：
  • 如果选糖衣写法，写完(define (函数名之后，紧接着写所有形参，然后闭合这层括号，再写函数体，绝对不要把lambda表达式塞到这层括号里面。
  • 如果选lambda写法，写完(define 函数名之后，直接空格写右侧的lambda表达式，不要给函数名额外加一层括号。
• 写完代码优先检查括号配对：每一个左括号必须对应一个同层级的右括号，不要在代码末尾随意补括号。
• 所有函数调用、运算符两侧保留空格，避免和相邻的标识符粘连成非法token。

内容的提问来源于stack exchange，提问作者Eric LaMacchia