固定点4(再次修改)

(setq  my

     (lambda ( f)

          (lambda (n)

            (if (> n 0)

                 (+  n  (funcall  (funcall f  f) (- n  1) ) )

               0

            )

         )

      )

)

 

(setq  my     

          (lambda (n)

            (if (> n 0)

                 (+  n  (funcall  my (- n  1) ) )

               0

            )

         )      

)

 

(setq  wrap

       (lambda (f)

         (lambda ( n) 

            (funcall  (funcall  f  f )  n)

         )

       )

)

 

 

(setq  fixpoint

       (lambda (f)

          (funcall

                 (lambda (x)  (funcall  f  (funcall  wrap x ) ) )

                 (lambda (x)  (funcall  f  (funcall  wrap x ) ) )

          )

        )

)

 

 

(setq newmy  (funcall  fixpoint  

                     (lambda (s)

                        (lambda (n)

                          (if (> n 0) (+  n  (funcall  s  (- n  1) ) )   0 )

                        )  

                     )

))

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值