评估球拍表达

Question

根据这些定义：

(define s 8) 
(define p (/ s 2)) 
(define (f s p) 
     (cond [(or (> s 0) p) 'yes] [(< s 0) 'no])) 

我要评估这个表达式：

(f 0 (and (< s p) (> s 2))) 

到目前为止，我有：

 ⇒ (f 0 (and (< 8 p) (> s 2))) 
     ⇒ (f 0 (and (< 8 4) (> s 2))) 
     ⇒ (f 0 (and false (> s 2))) 
     ⇒ (f 0 false) 

如何完成这个？

Answer 1

您需要将其替换为f（cond表达式）的主体，并将参数替换为其匹配参数。

Answer 2

球拍看到该f是一个过程，并评估它的参数：

(f 0 (and (< s p) (> s 2))) ; ==> 
(f 0 (and (< 8 4) (> 8 2))) ; ==> 
(f 0 (and #f #t))   ; ==> 
(f 0 #f)     ; s=0, p=#f 

然后，参数代入变量在身体的f：

; ==> 
(cond [(or (> 0 0) #f) 'yes] 
     [(< 0 0) 'no]) 

因为两者(or (> 0 0) #f)和(< 0 0)是#f结果是实现选择的未定义值。在球拍是#<void>

; ==> 
#<void> 

这本来是可以避免总是有一个else项：

(define (f s p) 
    (cond [(or (> s 0) p) 'yes] 
     [(< s 0) 'no] 
     [else 'banana])) 

(f 0 (and (< s p) (> s 2))) ; ==> banana