把键/值应用到映射条目的序列中是否符合法律？

Question

keys和vals的文档字符串表明，这些函数可以应用于映射。但，这些函数显然也可以作用于映射条目的序列。

例如，这行代码可以正常工作

(keys (filter (comp odd? val) {:a 1 :b 2 :c 3}))

上述程序是有效的吗？keys和vals保证在映射条目的序列上也能工作吗？

Answer 1

是的，这是合法的，你可以依赖它。

我也提交了一个问题报告，建议更新文档字符串或在类型中使其更明确。

https://clojure.atlassian.net/browse/CLJ-2592

Comments

我们能否期待`KVReduce`协议? `(reduce-kv assoc {} (filter (comp odd? val) {:a 1}))`

---

已经有一个IKVReduce协议了。问题是Seqable或ISeq无法通用地扩展，因为不是所有的coll或seq都是KV。但是有些地方（比如IPersistentMap）可以被标记为EntrySeqable（seqs to entries），这可能很有用。我们遇到过这个问题多次。

Answer 2

来自Alex Miller via Twitter。

https://twitter.com/puredanger/status/1330570384773681152?s=21

“这是合法的，我们将继续维持这项功能”