代码之家 › 专栏 › 技术社区 › ErtuÄrul Çetin

为什么每一个?函数在Clojure中使用空向量返回true?[副本]

clojurescript lisp functional-programming clojure

ErtuÄrul Çetin · 技术社区 · 8 年前

我遇到了这种奇怪的行为:

(every? true? [])
=> true

(every? false? [])
=> true

(every? odd? [])
=> true

列表是这样的。。。

它应该会回来假的而不是真的我想。

该功能如此设计的原因是什么?

1 回复 | 直到 8 年前

Barmar 8 年前

大多数语言中的一般规则是 every? 和 not-any? 当给定空数组时,它们返回标识值。这确保在组合数组子集上的操作时获得相同的结果。规则是:

(and (every? true? array1) (every? true? array2))

应该返回与相同的东西

(every? true? (concat array1 array2))

如果 每一个 返回 false 对于空数组,当两个数组中的任何一个为空时,这将破坏等价性。

类似地, 没有? 返回 假的 对于空数组,确保

(not-any? true? (concat array1 array2))

与

(or (not-any? true? array1) (not-any? true? array2))

推荐文章

lightning_missile · 词法范围和共享对象

7 年前

Alexandru Popa · SBCL中奇怪的宏扩展错误

7 年前

Jacky · 编辑列表中的每个偶数索引元素

7 年前

HappyFace · lisp典型缩进约定背后的规则是什么?

7 年前

Nathan majicvr.com · 下载ARC Lisp Ubuntu 16.04 Xenial

7 年前

Stav Alfi · 返回一对-语法错误

7 年前

Jorge · 在公共Lisp中初始化计数器变量

7 年前

Andrew S. · 类访问器的宏

7 年前

Rorschach · cl循环破坏性修改cons单元

7 年前

Artemis · 如何变异变量方案

7 年前