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

问题描述

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

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

解决方法

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