Racket自定义中缀运算符@实现追加：测试失败及内存溢出问题求助

问题根源 #

你的代码存在两个核心问题，直接导致了内存耗尽和宏无限展开：

1. 宏定义逻辑错误：你把(@)定义为无参宏展开成(append)，但在linspcm的递归调用里，((linspcm ...) (@) (linspcm ...))的写法是把第一个linspcm的返回值当作函数，再把append和第二个结果作为参数传入，完全偏离了“用@拼接列表”的预期逻辑。
2. 宏无限递归展开：linspcm被定义为宏，而宏展开是编译期行为，不会识别match n的运行时终止条件。递归调用自身的宏会让编译器不断展开，直到内存耗尽。

修复方案 #

要实现OCaml风格的中缀追加@，需正确定义中缀宏，同时将linspcm改为普通函数（递归逻辑属于运行时，不该用宏实现）。

修正后的完整代码 #

自定义中缀@运算符

;; 定义中缀@，支持 (列表1 @ 列表2) 的写法，等价于append
(define-syntax @
  (syntax-rules ()
    [(_ a b) (append a b)]))

重写linspcm为普通函数

(: linspcm (List Integer Integer Integer (Integer Integer -> Integer) -> List))
(define (linspcm z x n f)
  (match n
    [0 z]
    [1 (list (f x x))]  ;; 适配fn1的双参数要求，传入x作为两个参数
    [_ (let* ([m (quotient n 2)])  ;; 用整数除法避免浮点数问题
         (displayln n)
         ((linspcm z x m f) @ (linspcm z (+ x m) (- n m) f)))]))

调整后的测试代码

(: fn1 (Integer Integer -> Integer))
(define (fn1 x y)
  (displayln x)
  (+ x y))

;; 原预期结果对应n=4的情况，调整参数匹配预期
(check-equal? (linspcm '(0) 1 4 fn1) '(1 2 3 4) "Test unsuccessful")

关键说明 #

• 中缀宏@通过syntax-rules直接匹配(a @ b)结构，展开为append调用，完全贴合OCaml的使用习惯。
• linspcm改为普通函数后，递归受match n的运行时终止条件控制，不会再出现编译期无限展开的问题。
• 原测试用例中n=2只能生成2个元素，因此调整为n=4以匹配预期的'(1 2 3 4)；同时fn1需要两个参数，在n=1分支中传入两次x保证调用合法。

内容的提问来源于stack exchange，提问作者Mohan Radhakrishnan