Boolesche Funktoren in Lisp

Question

Ich finde mich in einer Situation, wenn ich mehrere Prädikat in eins kombinieren müssen. Gibt es eine Standardmethode, etwas Ähnliches wie compliment?

Angenommen, es gibt mehrere einfache Prädikate (z.B. is-fruit-p, is-red-p, grows-on-trees-p etc.) und eine Liste von Objekten, von denen eine Teilmenge herausgefiltert werden müssen mehr als ein Prädikat verwendet wird. Was ist der bessere Weg, dies zu erreichen als die folgenden:

(remove-if #'is-fruit-p 
      (remove-if #'is-red-p 
         (remove-if #'grows-on-trees-p list-of-objects))) 

Answer 1

Ich bin mir nicht sicher, ob eine solche Funktion von der Box verfügbar ist. Wenn Sie Funktionen kombinieren müssen, die Sie in einer Kompilierzeit bestimmen können, können Sie ein Makro dazu schreiben. Wenn Sie Prädikatenfunktionen dynamisch erkennen müssen, können Sie eine Funktion schreiben, um die Liste der Funktionen zu loopen und die Ergebnisse bis zur falschen Bedingung zu akkumulieren.

kann das Makro wie folgt aussehen:

(defmacro combine-predicates (combine-func &rest preds) 
    (let ((x (gensym))) 
    `(lambda (,x) (,combine-func ,@(loop for p in preds 
         collecting `(funcall ,p ,x)))))) 

Und Sie können es wie diese Sie sicher

(remove-if (combine-predicates and 
           #'is-fruit-p 
           #'is-red-p 
           #'grows-on-trees-p) obj-list) 

Answer 2

(let ((predicates '(zerop evenp))) 
    (remove-if (lambda (item) 
       (some (lambda (fn) (funcall fn item)) 
        predicates)) 
      '(0 1 2 3 4 0 1 2 3 4))) 

Answer 3

Sind verwenden, die eine spezielle Syntax wirklich helfen würde? Betrachten Sie die folgende

(lambda (x) 
    (and (is-fruit-p x) 
     (or (grows-on-tree-p x) 
      (is-red-p x)))) 

und jetzt die etwas allgemeinere

(lambda (x) 
    (and (is-fruit-p x) 
     (or (grows-on-tree-p x) 
      (eq (color x) 'red)))) 

oder

(lambda (x) 
    (and (is-fruit-p x) 
     (or (grows-on-tree-p x) 
      (eq (color x) desired-color)))) ; desired-color captured lexical 

Auch wenn Sie eine spezielle Syntax aufbauen für Prädikate denken Sie, die weitere Sprachen Komplexität ist es wert die Starrheit, die du bekommen wirst? Zum Beispiel werden Sie ein Prädikat #'weights-exactly-five-ounces-p definieren? Was ist mit #'weights-up-to-and-including-six-and-half-ounces-p?

Wenn Sie ein parametrisches Prädikat benötigen und dafür Lambda-Formulare verwenden, dann schreiben Sie mit einem Combiner mehr Code als Sie nicht verwenden, da der Wrapper (lambda (x) ...) für jeden parametrischen Term benötigt wird. Noch wichtiger ist, dass dieser Code auch schwieriger ist lesen (zusätzlich zu einem speziellen neuen Makro für Prädikat Kombination zu lernen).

IMO Es kann sinnvoll sein, zu schreiben und/oder Kombinatoren, wenn Sie in Prädikaten übergeben werden und Sie müssen Prädikate an jemand anderen übergeben ... aber nicht für den Code, den Sie in dem Beispiel verwendet haben; dafür würde ich schreiben

Weniger zu schreiben, weniger zu lesen, nichts zu lernen, trivial zu parametrisieren.

Angenommen, Sie möchten zum Beispiel eine Liste von Früchten mit der gleichen Farbe wie die, die Sie haben (in mine) und mit gleichem Gewicht oder möglicherweise schwerer ...

(remove-if-not (lambda (x) (and (is-fruit-p x) 
           (eq (color x) (color mine)) 
           (>= (weight x) (weight mine)))) 
       objects) 

Answer 4

Ein Ansatz erstklassige Funktionen:

(defun complement (func) 
    (lambda (x) (not (funcall func x)))) 

(defun conjoin (pred1 pred2) 
    (lambda (x) (and (funcall pred1 x) (funcall pred2 x)))) 

(defun disjoin (pred1 pred2) 
    (lambda (x) (or (funcall pred1 x) (funcall pred2 x)))) 

, von dem Sie

(remove-if (conjoin #'is-fruit-p (conjoin #'is-red-p #'grows-on-trees-p)) list-of-objects) 

Answer 5

Funktionen höherer Ordnung wie disjoin und conjoin sind in der quicklisp installierbar alexandria Bibliothek produzieren kann.

CL-USER> (ql:quickload "alexandria") 
... 
CL-USER> (remove-if (alexandria:disjoin #'zerop #'oddp #'minusp) 
        '(0 -1 1 -2 2)) 
=> (2)