如何解决Clojure Spec 可以用于约束协议参数和返回类型吗?
我想知道规范是否可用于约束协议上的参数和返回类型,类似于 fdef 对函数的作用。
迄今为止我发现的最好的线索是 a section called protocols in the api documentation,但几乎没有解释。
解决方法
AFAIK 协议生成主机接口,并且由于那些不支持您可以在规范中表达的“类似依赖类型”的约束,我认为您不能这样做(尽管这听起来确实是个好主意!)。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。