为ex-info提供一个类型谓词？

Question

当编写spec时，对ExceptionInfo的类型谓词的提供，就像Clojure 1.9中推出的其他实用功能（例如nat-int?、pos-int?等）一样有用。

Answer 1

评论者：alexmiller

列出一些可能的代码示例（我认为在捕获处理中有这样的示例）将很有帮助，并给出一个这种用法有多普遍的指示。

Answer 2

评论者：xmlblog

它可以在从通道获取数据时进行specing的情况下非常有用。[http://swannodette.github.io/2013/08/31/asynchronous-error-handling](http://swannodette.github.io/2013/08/31/asynchronous-error-handling)。David的例子立即通过

此外，尽管David的例子是CLJS，但我已经在Clojure core.async代码中使用了此模式（例如，异步Pedestal拦截器）。

Answer 3

评论者：xmlblog

此外，从美观角度（1）来看，为已经具有构造器（ex-info）和访问器（ex-data）的非常重要的Clojure抽象添加类型谓词（ex-info？）似乎可以使API更加完整。不确定这个论点对您或Rich有多有说服力，但我想这不会损害论点。

我对美观的理解受到了Mitch Wand & Dan Friedman的《Programming Languages Essentials》中一些想法的影响。

Answer 4

参考：[https://clojure.atlassian.net/browse/CLJ-2237](https://clojure.atlassian.net/browse/CLJ-2237)（由xmlblog报告）