В чем разница между «&» и «и» в Clojure Spec?

Кажется, мне трудно отделить значения операторов & и and в Clojure Spec. Они оба, похоже, делают одно и то же, только один отмечен как оператор регулярного выражения, разница, которую я не уверен, что понимаю важность.


clojure clojure.spec
person Rovanion    schedule 31.03.2017    source источник

Ответы (1)


arrow_upward
6
arrow_downward

Мы можем увидеть разницу между ними, если возьмем некоторые данные из них:

(ns playground
  (:require [clojure.spec     :as spec]
            [clojure.spec.gen :as gen]))

(gen/generate (spec/gen (spec/and #{:a :c} #{:b :a :c})))
=> :a
(gen/sample (spec/gen (spec/and #{:a :c} #{:b :a :c})))
=> (:c :a :c :a :a :a :a :a :a :c)

Как мы видим, spec/and соответствует одному вхождению того, что соответствует двум предикатам #{:a :c} и #{:b :a :c}.

(gen/generate (spec/gen (spec/& #{:a :c} #{:b :a :c})))
=> [:c]
(gen/sample (spec/gen (spec/& #{:a :c} #{:b :a :c})))
=> ([:c] [:a] [:a] [:c] [:c] [:c] [:c] [:a] [:c] [:c])

spec/&, с другой стороны, соответствует тому, что принимается предикатами как часть последовательности.

person Rovanion    schedule 31.03.2017