应用序和正则序

构造过程抽象
2015-01-07 19:25

以下程序在应用序和正则序的情况下各自的输出是什么?

1
2
3
4
5
6
7
8
9
    (define (p) (p))
    
    (define (test x y)
      (if (= x 0)
          0
          y
          ))
    
    (test 0 (p))

应用序: 逐步求值,展开,最后归约

正则序: 先展开,然后求值,最后归约

加载 Disqus 评论

© 版权所有 悟理 2013-2019
Powered By Jekyll & Semantic UI

应用序和正则序

构造过程抽象
2015-01-07 19:25

以下程序在应用序和正则序的情况下各自的输出是什么?

1
2
3
4
5
6
7
8
9
    (define (p) (p))
    
    (define (test x y)
      (if (= x 0)
          0
          y
          ))
    
    (test 0 (p))

应用序: 逐步求值,展开,最后归约

正则序: 先展开,然后求值,最后归约

加载 Disqus 评论

© 版权所有 悟理 2013-2019
Powered By Jekyll & Semantic UI

应用序和正则序

构造过程抽象
2015-01-07 19:25

以下程序在应用序和正则序的情况下各自的输出是什么?

1
2
3
4
5
6
7
8
9
    (define (p) (p))
    
    (define (test x y)
      (if (= x 0)
          0
          y
          ))
    
    (test 0 (p))

应用序: 逐步求值,展开,最后归约

正则序: 先展开,然后求值,最后归约

加载 Disqus 评论

© 版权所有 悟理 2013-2019
Powered By Jekyll & Semantic UI