定义一个用教会数字表示整数的函数(DrRacket)

Question

我正在尝试定义一个过程，该过程接受一个整数并返回它在Church数字中的表示形式。有谁能帮我找出我犯的错误吗?下面的代码是我到目前为止所能做的。

(define succ
(lambda (cn)
(lambda (f)
(lambda (x)
(f ((cn f) x))))))
(define (n->cn n)
(if (= n 0)
zero
(succ (n->cn (lambda (x) (- x 1))))))

当我运行测试时:

(test (num->cn 3) three)

我得到以下错误:

exception (num->cn 3) at line 107
expected: <no-expected-value>
=: contract violation
expected: number?
given: #<procedure:...ad/racket-file.rkt:99:21>
argument position: 1st
other arguments...:
0

它好像在等待一个数字?但是给出了一个程序。我认为这符合手术的目的?谢谢你对新手的帮助和评论。

Answer 1

n->ch的参数应该是一个数字，而不是一个过程:

(define (n->cn n)
(if (= n 0)
zero
(succ (n->cn (- n 1)))))