一个natural number是一个非负整数。您如何用 Clojure Spec 来表达这一点？
最佳答案
这已经是 1.9 中的谓词函数，它匹配固定精度非负整数:
(s/valid? nat-int? 1)
; true
但请注意，这不匹配任意精度整数，例如bigint:
(s/valid? nat-int? (bigint 1))
; false
关于Clojure 指定自然数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/43348814/