用 ^ 或 :tag meta 输入提示返回值？答案

【问题标题】：Type hinting return value with ^ or :tag meta?用 ^ 或 :tag meta 输入提示返回值？
【发布时间】：2011-09-23 00:23:13
【问题描述】：

两者似乎在 Clojure 中做同样的事情。哪种语法是规范的？

(defn a ^int [] 4)

(defn b ^{:tag int} [] 4)

我希望它是a，因为它更短。

【问题讨论】：

实际上，将函数类型提示为 int 不再起作用。这一切都很长，而且是双倍的。并且这里添加了所有可能的组合：github.com/clojure/clojure/blob/master/src/jvm/clojure/lang/… 它并不像看起来那么疯狂。
@claj 亲爱的上帝，我希望代码是以某种方式生成的。否则，无论哪个可怜的 sap 被这份工作困住了，我都感到很抱歉。
可能是github.com/clojure/math.combinatorics和clojuredocs.org/clojure.pprint/cl-format的组合

【解决方案1】：

它的“a”是规范的。它是迄今为止我在 Clojure 代码和 Clojure 站点上的文档中看到的唯一一个。有关类型提示的更多信息，请参阅 here。

希望这会有所帮助。

【讨论】：

【解决方案2】：

当我需要包含元数据而不仅仅是标签时，我只使用b。例如，在实现瞬态集合时，我需要

(deftype Whatever [^{:tag ITransientVector
                     :unsynchronized-mutable true} foo])

请注意，它是等效的并且完全可以接受

(deftype Whatever [^:unsynchronized-mutable ^ITransientVector foo])

但我个人更喜欢显式地图。

【讨论】：