Clojure 插入符号作为符号？

Question

所以我认为命名一个计算指数 ^ 的函数是一个好主意，但插入符号实际上做了一些特殊的事情，因为 Clojure REPL 在评估 ' 时会生成错误^。谷歌搜索主要给了我这个，所以我想知道Clojure中插入符的实际用途是什么。

（另外，到底有可能命名一个函数 ^ 吗？）

Answer 1

^ 是“元字符”，它告诉阅读器添加以 < 开头的符号code>^ 作为下一个符号的元数据（前提是它是实现 IMetas 的东西）

user=> (def x ^:IamMeta [1 2 3])
#'user/x
user=> x
[1 2 3]
user=> (meta x)
{:tag :IamMeta}
user=> 

您可以通过查看事物的 meta 来了解有关 clojure 在幕后如何工作的很多信息，例如实例函数：

user=> (meta foo)                          
{:ns #<Namespace user>, 
 :name foo, :file "NO_SOURCE_PATH", 
 :line 5, :arglists ([s])}

这经常用于类型提示

(defn foo [^String s] (.charAt s 1))

打开反射警告通常是个好主意 (设置！ *warn-on-reflection* true) 然后添加类型提示，直到警告消失。如果没有这些，Clojure 将在运行时查找函数操作数的类型，这会省去您为类型而烦恼的麻烦，但代价很小。

PS：我下一个最喜欢的读者字符是“dispatch”字符#，接下来它非常值得学习:)

PPS：这在 clojure 1.2.x 与 clojure 1.3.x 中是不同的
在 Clojure 1.2.1 中，当您使用元字符时，元数据不会组成：

user=> (def foo ^:foo ^:bar [1 2 3])
#'user/foo
user=> (meta foo)
{:tag :foo}

在 1.3 中，它“做正确的事情”，并且关键字是选项而不是“标签”：

user=> (def foo ^:foo ^:bar [1 2 3])
#'user/foo
user=> (meta foo)
{:foo true, :bar true}

Answer 2

不幸的是，在我看来，你的问题的答案是否定的。在 Clojure 中，您不能命名函数 ^。

我在 REPL 中尝试了以下操作：

user=> (println \^)
^
nil

这似乎意味着您可以使用反斜杠转义克拉 (^)。但是，如果我尝试使用 \^ 作为名称来声明函数，则会收到一条错误消息：

user=> (defn \^ [n e] (cond (= e 0) 1 :else (* n (\^ n (- e 1)))))
IllegalArgumentException First argument to defn must be a symbol
clojure.core/defn (core.clj:277)

The same code works with a Regular text name:

user=> (defn exp [n e] (cond (= e 0) 1 :else (* n (exp n (- e 1)))))
#'user/exp
user=> (exp 3 3)
27

I will be happy if people with better Clojure-fu比我的可以证明我错了！ :)