Clojure编译器检查记录和类型是否实现协议？
Clojure编译器是否意味着检查一个记录或类型是否实例化一个协议实际上实现了其中列出的方法？ 我试试这个 解决方案 记录可以实现协议而不实现其任何方法： （defprotocol Structure （weight [this]） （balanced？ b $ b（defrecord Mobile [] 结构 ） ...被接受。 如果您尝
..
clojure-protocol相关内容
是否有一个Clojure编译时工具来检查一个记录或类型是否实际上实现了它声称的协议？
似乎Clojure编译器不会这样做默认： Clojure编译器检查记录和类型是否实现协议？ 任何人，比如，Lein插件， 解决方案 惊人的 core.typed 介绍了“Clojure的可选类型系统”，您可以在其官方网站。 具体来说，你可以使用自己的 defprotocol 宏（ from core.typed wiki ）： 协议定义应该使用clojure.core.t
..
Clojure - dispatch在返回类型？ （表示为Haskell类型类）
这是一个关于Clojure与其他语言（如Haskell）的表达力的问题。更广泛的问题是表达式问题的解决方案 此问题得出结论，一般来说，Clojure协议（和多方法）比Haskell类型类表达式更少，因为协议在第一个参数上调度，而Haskell类型类可以在返回类型上调度。 （现在我认为这个推理真的很有趣，没有兴趣开始一场语言战争，我只是对思想的清晰感兴趣）。 作为打破这个推理的一部分 -
..