如何抽象功能在方案

Question

中如何抽象查找字符串到通用查找字符串使得它使用的字符串比較操作是一個參數。使用本地？或任何其他抽象功能？
我查找字符串通過遞歸，

;; find-string: Lof[string] string -> Boolean 
;; true if and only if the given string was in the list 

(define (find-string los s) 
    (cond 
     [(empty? los) false] 
     [(cons? los) (cond 
        [(string=? s (first los)) true] 
        [else (find-string (rest los) s)])])) 

(check-expect(find-string (list "a" "b" "c") "a") true) 
(check-expect(find-string (list "a" "b") "f") false) 
(check-expect(find-string empty "a") false) 

我想我們可以用本地（也許不是？它看起來像地圖或過濾太）和通用-找到字符串的合同是，

;; generic-find-string: (Lof[string] string -> Boolean) Lof[string] -> Boolean 
;; true if and only if the given string was in the list 

然後使用這個抽象定義查找字符串區分大小寫，應操作方式爲原始查找字符串相同，並找到字符串，不區分大小寫，WHI ch與find-string具有相同的約定，但在比較字符串時會忽略字母字符的情況（即，角色a被認爲與A相同等等;非字母字符必須完全匹配）。

有什麼想法和建議嗎？提前致謝。

Answer 1

抽象的比較遠只是增加了第三個參數的事項作爲您的n元對比功能：

(define (find-gen op los s) 
    (cond 
     [(empty? los) false] 
     [(cons? los) (cond 
        [(op s (first los)) true] 
        [else (find-gen op (rest los) s)])])) 

(find-gen string=? (list "a" "b" "c") "a") 
=> #t 
(find-gen string=? (list "a" "b") "f") 
=> #f 
(find-gen string=? empty "a") 
=> #f 

然後在find-gen方面重新定義find-string：

(define (find-string los s) 
    (find-gen string=? los s)) 

從那裏開始，我相信你很容易定義你可能需要的所有變體。