Clojure 谓词

在 Clojure 编程语言中，谓词（predicate）是一种表示逻辑条件的函数。谓词函数接受参数并返回一个布尔值，用于判断某个条件是否成立。

Clojure 提供了许多内置的谓词函数，用于处理不同类型的数据。在本文中，我们将介绍一些常用的 Clojure 谓词函数，并给出相应的代码示例。

布尔谓词

true? / false?

true? 和 false? 是用于判断一个值是否为真或假的布尔谓词函数。它们会返回一个布尔值，分别表示给定值是否为真或假。

(true? true)  ; => true
(false? false)  ; => true
(true? false)  ; => false
(false? true)  ; => false

相等谓词

= / distinct?

= 是用于判断两个值是否相等的谓词函数。distinct? 是其否定形式，用于判断两个值是否不相等。

(= 6 6)  ; => true
(= 6 7)  ; => false

(distinct? 6 6)  ; => false
(distinct? 6 7)  ; => true

比较谓词

< / <= / > / >=

这些比较谓词函数用于对数字进行比较。< 判断第一个数字是否小于第二个数字，<= 判断第一个数字是否小于等于第二个数字，> 判断第一个数字是否大于第二个数字，而 >= 则判断第一个数字是否大于等于第二个数字。

(< 4 6)    ; => true
(<= 4 4)   ; => true
(> 10 5)   ; => true
(>= 10 10) ; => true

集合谓词

empty? / seq?

empty? 用于判断给定集合是否为空，而 seq? 则用于判断给定值是否为一个序列。

(empty? [])           ; => true
(empty? (range 3))    ; => false

(seq? [:a :b :c])     ; => true
(seq? (range 5))      ; => true

字符串谓词

string?

string? 是用于判断给定值是否为字符串的谓词函数。

(string? "Hello")      ; => true
(string? 42)           ; => false

类型谓词

number? / char? / map? / vector? / set?

这些类型谓词函数用于判断给定值是否为特定类型。number? 判断给定值是否为数字，char? 判断给定值是否为字符，map? 判断给定值是否为映射，vector? 判断给定值是否为向量，而 set? 则用于判断给定值是否为集合。

(number? 42)        ; => true
(char? \a)         ; => true
(vector? [1 2 3])  ; => true
(map? {:a 1})      ; => true
(set? #{1 2 3})    ; => true

这些只是 Clojure 中一些常用的谓词函数的示例，实际上还有很多其他的谓词函数可供使用。谓词函数在判断条件、数据筛选和逻辑判断中发挥着重要的作用，进一步提升了 Clojure 程序的灵活性和表达能力。

希望本文能帮助你更好地理解和使用 Clojure 中的谓词函数！

注意：上述代码片段均为 Clojure 代码，因此要在 Clojure 环境中运行。