方案中的正常顺序与应用顺序程序

Question

假设我想知道方案/球拍中的解释器是按正常顺序还是按应用顺序排列。

(define normal?
  (lambda()
    (let ((e (display 'not-)))
      (display 'normal))))

这将在正常订单上正常打印，在应用订单

上打印不正常，但我是否可以编写一个对应用顺序执行相同操作的过程（意味着在应用订单上显示应用并在正常订单上显示非应用）？

我的想法是这是不可能的，因为如果应用订单程序终止，它必须返回与正常订单相同的结果。

Answer 1

为什么，这是基本的突变，亲爱的沃森：

(define applicative?
  (lambda ()
   (let ((test #t))
    (let ((e (begin (set! test #f) #f)))
      (if test (display 'normal) (display 'applicative))))))

你没有禁止突变，对吧？但如果你坚持，用call/cc匆忙退出：

(define applicative?
  (lambda ()
   (call/cc (lambda (exit)
    (let ((e (begin (display 'applicative) (exit #f))))
      (display 'not-applicative))))))

到现在为止，您会看到 Scheme 不是 lambda 演算。

这是为您提供的第三种解决方案。定义display1仅在第一次调用时打印其参数，而不对任何后续调用执行任何操作，然后使用

(define applicative?
  (lambda()
    (let ((e (display1 'applicative)))
      (display1 'not-applicative))))

就像你在代码中使用副作用原语一样，我也是！:)

Answer 2

基本分析

应用顺序和正常顺序之间的一个可观察的区别是逻辑死代码路径的行为，其中包含引发错误/异常的过程。

实现

在#lang racket中，我们可以利用 arity = 2 的局部函数 foo 编写一个简单的测试套件。第一个参数在foo中存在，第二个参数是死的。然后，我们传递一个值 ['（/1 0）]，该值在沿死代码路径向下计算时引发异常。

将所有内容打包到测试框架中，可以让我们养成良好的习惯：

#lang racket/base
(require rackunit
         rackunit/text-ui
         racket/function)
(define evaluation-order
  (let ((foo (lambda (x y) x)))
    (test-suite
     "Test the evaluation order."
     (test-exn  
       "Applicative Order Test"
        exn:fail?
       (thunk (foo (+ 1 0)
                   (/ 1 0))))
     (test-not-exn
       "Normal Order Test"
       (thunk (foo (+ 1 0)
                   (/ 1 0)))))))
(run-tests evaluation-order)

示例输出

[e-mail]> ,enter "/media/ben/Data/Programming/StackOverflow/29657169.rkt"
--------------------
Test the evaluation order. > Normal Order Test
Normal Order Test
FAILURE
name:       check-not-exn
location:   /media/ben/Data/Programming/StackOverflow/29657169.rkt:19:5
params:     #<procedure:temp5>
message:    "Exception raised"
exception-me"/: division by zero"
exception:  #(struct:exn:fail:contract:divide-by-zero "/: division by zero" #<continuation-mark-set>)
Check failure
--------------------
1 success(es) 1 failure(s) 0 error(s) 2 test(s) run
1