enriched lambda ( IF transform ->complete 未完全形式化)

chenbingchenbing

于 2011-03-17 18:07:00 发布

阅读量222

点赞数

CC 4.0 BY-SA版权

文章标签： lambda

本文链接：https://blog.youkuaiyun.com/chenbingchenbing/article/details/6257035

本文通过具体的函数式编程示例，展示了如何使用 Lisp 风格的语言定义布尔值、条件判断及自然数，并实现了简单的递归逻辑。文章深入探讨了高阶函数的应用，包括条件表达式的抽象和自然数的递归定义。

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

(setq true
   (lambda (u)
       (lambda (v)
          u
       )
   )
)

(setq false
   (lambda (u)
       (lambda (v)
          v
       )
   )
)

(setq myif
    (lambda (cond)
            (lambda (then)
                (lambda (else)
                   (funcall (funcall cond then) else)
                 )
            )
    )
)

(funcall (funcall (funcall myif true) 'a ) 'b )
(funcall (funcall (funcall myif false) 'a ) 'b )

(setq zero (funcall (lambda (n)(lambda()n)) false) )
(setq one (funcall (lambda (n)(lambda()n)) true ) )
(setq incr (lambda (x ) (lambda () (funcall x) )))

(setq   nature
(lambda (now )
(lambda (n)
(if (> n 1)
    (funcall (funcall nature (funcall   incr now) ) (- n 1) )
      now
)
)
)
)

(setq iszero
   (lambda (n)
             (funcall n )
   )
)

(funcall (funcall (funcall myif   (funcall iszero (funcall (funcall nature zero ) 0)))   'a )   'b )
(funcall (funcall (funcall myif   (funcall iszero (funcall (funcall nature one ) 1)))   'a )   'b )
(funcall (funcall (funcall myif   (funcall iszero (funcall (funcall nature one ) 2)))   'a )   'b )