評估球拍表達

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