在Racket中基于结合律将列表转换为左范式的技术问询

嘿，我本来打算把这个问题发到Code Review Stack Exchange，结果发现那里只允许发布可运行的代码。之前我还提过一个问题：在Racket中利用结合律重排括号。要是你没了解过这个需求，简单说就是我想实现符号列表的重排，完成这类转换：

• '((a + b) + c) → '(a + (b + c))
• '((a + b) + (c + d)) → '(a + (b + (c + d)))

下面是我目前写的代码：

(define (check? expr) 
  (display expr) 
  (newline) 
  (cond 
    ((null? expr) -1) 
    ((an...

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