为什么Clojure核心库使用具体的派生？

Question

在Clojure的类型机制的文档中 ，有人说

• 具体推导是坏事
  • 你不能从具体类，只有接口派生数据类型

但是，一些核心Clojure类使用具体派生（还有其他示例，但这些是超类属于clojure.lang的唯一情况）：

• ARef扩展了AReference
• Agent延伸了ARef
• Atom扩展了ARef
• Namespace扩展了AReference
• Ref扩展了ARef
• Var扩展了ARef

另外，还有很多抽象类。 但是，没有办法在Clojure中创建一个抽象类的等价物，对我来说，抽象类的扩展似乎具有与常规具体派生相同的缺点。

为什么在这里使用具体的推导？

Answer 1

在谈到哲学的时候，我觉得自己不够权威，但这是我的两分钱。

你引用的文字出现在那里的原因是警告滥用defrecord和deftype 。 Clojure不鼓励将记录/类型公开为API。 相反，应尽可能公开接口。 毕竟，OO语言暴露类和FP语言公开函数/方法/接口。

另一方面，您提到clojure的实现本身使用抽象类并继承它们。 我宁愿把它们视为“某人必须做的肮脏作品”。 JVM的设计使其在OO世界中的原语上最有效。 OO世界虚拟机和FP世界语言之间的差距必须由某人填补。