Clojure Spec 可以用来约束协议参数和返回类型吗？

Question

我想知道规范是否可用于约束协议上的参数和返回类型，类似于fdef 对函数的工作方式。

到目前为止我发现的最好的线索是a section called protocols in the api documentation，但它几乎没有解释。

Answer 1

AFAIK 协议生成主机接口，并且由于它们不支持您可以在规范中表达的“依赖类型”约束，我认为您不能这样做（尽管这听起来确实是一个非常好的主意！）。