方案中列表的列表

要获得所需的输出, 开始 将其更改为

(define omega
  (lambda (n)
    (if (= n 0) 'Φ
        (cons (omega (- n 1)) 
          ;; '(omega (- n 1))
              (list 'quote (omega (- n 1)))
              ))))

这并不完全是你想要的,但最重要的是,你想包括 后果 属于 评估 您的嵌套代码,而不是代码本身。

在评论中 你写下你真正想要的是

ω n  =  IF  n=0  THEN  ϕ  ELSE  ω(n-1)∪{ω(n-1)}

实际上可以翻译为

(define omega
  (lambda (n)
    (if (= n 0) (list 'Φ)        ; must enclose it in a list to avoid errors
        (append (omega (- n 1))
                (list (omega (- n 1)))))))

产生

'()
“(())
'(()(()))

在DrRacket。