自然数是一个非负整数。如何使用Clojure Spec表达这个概念?
这已经是1.9中的谓词函数,匹配固定精度的非负整数:
(s/valid? nat-int? 1)
; true
请注意,这并不适用于类似大整数(bigints)等任意精度整数:
(s/valid? nat-int? (bigint 1))
; false
(spec/def ::natural-number
(spec/and integer? (partial <= 0)))
(spec/exercise ::natural-number)
=> ([0 0] [0 0] [0 0] [1 1] [5 5] [5 5] [0 0] [0 0] [0 0] [19 19])
这适用于固定和任意精度整数:
(spec/valid? ::natural-number (long 0))
=> true
(spec/valid? ::natural-number (int 0))
=> true
(spec/valid? ::natural-number (bigint 0))
=> true
还有一个spec/int-in
函数,允许您指定一个范围,例如
(spec/def ::natural-number
(spec/int-in 0 Integer/MAX_VALUE))
(spec/exercise ::natural-number)
=> ([1 1] [1 1] [0 0] [0 0] [1 1] [3 3] [4 4] [4 4] [50 50] [1 1])
spec/int-in
不匹配类似 bigint
的任意精度整数:(spec/valid? (spec/int-in 0 Integer/MAX_VALUE) (bigint 1))
=> false
Double
(Clojure默认)和BigInt
也是自然数吧? - Thumbnail