January 8 2007 月曜日

最新推荐文章于 2007-02-09 17:57:00 发布

Lu_ming

最新推荐文章于 2007-02-09 17:57:00 发布

阅读量810

点赞数

CC 4.0 BY-SA版权

文章标签： lambda debugging variables command report tools

本文链接：https://blog.youkuaiyun.com/Lu_ming/article/details/1479407

本文记录了作者在BACnet协议下进行消息传递功能调试的过程，遇到了发送正确指令却收到通信错误报告的问题，并通过填充多个调度命令解决了这一问题。此外，文中还深入探讨了Church数的概念及其实现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

　　Today I debuged the functions to communicate in BACnet protocol. I found a strange phenomenon, I sent
a correct message including a schedule command out, received a message to report a communication error.
However, I filled three or four schedule commands, I can get a correct result message.

Due to no debugging tools it is not easy to watch values of variables at running program. I have to add
more and more "printf()" and "fprintf()" into my codes. So, my code looks worse and worse.

I looked through the Church number again.

Church number

(define (f x) (cons 'x x))　;; by running.

(define (zero f)
(lambda (x)
x))

(define (one f)
(lambda (x)
(f x)))

(define (two f)
(lambda (x)
(f (f x))))

(define (three f)
(lambda (x)
(f (f (f x)))))

(define (add-one n)
(lambda (f)
(lambda (x)
(f ((n f) x)))))

(define (add a b)
(lambda (f)
(lambda (x)
((a f) ((b f) x)))))

(define (mul a b)
(lambda (f) (lambda (x) ((a (b f)) x))))

　　Now, let's run those numbers. :-) Type following code into your interpreter, please.

(define six (mul two three))
((six f) '())
=> (x x x x x x)