- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在 clojure 1.1 中,所有调用都是动态的,这意味着您可以在 REPL 中重新定义函数,并且它将自动包含在正在运行的程序中。这对于 dotrace 之类的东西也很好。
在clojure 1.2中,许多调用似乎是静态链接的,如果我想替换一个函数,有时,我必须找到所有调用它的地方并在它们前面加上#'。
更糟糕的是,我无法预测需要在哪里执行此操作。
是否可以恢复到旧的默认动态链接?也许如果您需要额外的速度,您可以在生产应用程序中将其重新打开,但对于开发,我更喜欢 1.1 行为。
我希望有某种编译器选项,例如 *warn-on-reflection*。
编辑:
我对发生的事情感到困惑。更具体地说,这里有两个函数。我更喜欢第二种的行为。我怎样才能使第一个行为像第二个一样,就像我相信它在 1.1 中所做的那样?
user> (clojure-version)
"1.2.0"
user> (defn factorial[n] (if (< n 2) n (* n (factorial (dec n)))))
#'user/factorial
user> (require 'clojure.contrib.trace)
user> (clojure.contrib.trace/dotrace (factorial) (factorial 10))
TRACE t1670: (factorial 10)
TRACE t1670: => 3628800
user> (defn factorial[n] (if (< n 2) n (* n (#'factorial (dec n)))))
#'user/factorial
user> (clojure.contrib.trace/dotrace (factorial) (factorial 10))
TRACE t1681: (factorial 10)
TRACE t1682: | (factorial 9)
TRACE t1683: | | (factorial 8)
TRACE t1684: | | | (factorial 7)
TRACE t1685: | | | | (factorial 6)
TRACE t1686: | | | | | (factorial 5)
TRACE t1687: | | | | | | (factorial 4)
TRACE t1688: | | | | | | | (factorial 3)
TRACE t1689: | | | | | | | | (factorial 2)
TRACE t1690: | | | | | | | | | (factorial 1)
TRACE t1690: | | | | | | | | | => 1
TRACE t1689: | | | | | | | | => 2
TRACE t1688: | | | | | | | => 6
TRACE t1687: | | | | | | => 24
TRACE t1686: | | | | | => 120
TRACE t1685: | | | | => 720
TRACE t1684: | | | => 5040
TRACE t1683: | | => 40320
TRACE t1682: | => 362880
TRACE t1681: => 3628800
3628800
编辑(整个问题,并更改标题):
Joost 在下面指出,这里实际发生的是阶乘中的 self 调用正在被优化掉。我不明白为什么要这样做,因为你不能在不破坏堆栈的情况下进行那么多递归 self 调用,但它解释了观察到的行为。也许这与匿名 self 调用有关。
我问题的最初原因是我试图写 http://www.learningclojure.com/2011/03/hello-web-dynamic-compojure-web.html ,并且我对必须输入 #' 才能获得我期望的行为的地方数量感到恼火。那和 dotrace 让我认为一般的动态行为已经消失,并且在某些地方有效的动态重新定义必须通过一些聪明的技巧来完成。
回想起来,这似乎是一个奇怪的结论,但现在我只是感到困惑(这更好!)。这一切有什么引用资料吗?我很想有一个关于什么时候有效、什么时候无效的一般理论。
最佳答案
Clojure 中的所有内容都是完全动态的,但是您必须注意何时使用 Var 以及何时使用 Function该 Var 的当前值。
在第一个示例中:
(defn factorial [n] (if (< n 2) n (* n (factorial (dec n)))))
factorial
符号被解析为 Var #'user/factorial
,然后由编译器求值以获得其当前值,即一个已编译函数。此评估仅在编译函数时发生一次。第一个示例中的 factorial
是定义函数时 Var #'user/factorial
的值。
在第二个示例中:
(defn factorial [n] (if (< n 2) n (* n (#'factorial (dec n)))))
您已明确要求提供 Var #'user/factorial
。调用 Var 与取消引用 Var 并调用其(函数)值具有相同的效果。这个例子可以更明确地写成:
(defn factorial [n] (if (< n 2) n (* n ((deref (var factorial)) (dec n)))))
clojure.contrib.trace/dotrace
宏(我多年前编写的)使用 binding
暂时将 Var 重新绑定(bind)到不同的值。它不会改变任何函数的定义。相反,它创建一个新函数,该函数调用原始函数并打印跟踪行,然后将该函数绑定(bind)到 Var。
在第一个示例中,由于原始函数是使用 factorial
函数的值进行编译的,因此 dotrace
没有任何效果。在第二个示例中,每次调用 factorial
函数都会查找 #'user/factorial
Var 的当前值,因此每次调用都会看到由 创建的备用绑定(bind)>dotrace
。
关于clojure - Clojure 可以完全动态化吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5398569/
为什么该语言的名称是“Clojure”? 我用谷歌搜索了一下,在#clojure 中询问。到目前为止,还没有运气。 最佳答案 Rich Hickey(他是 Clojure 的设计者)对此的评论是 wi
我不明白为什么升级后会出现以下编译错误: Compiling addr-verify.core Exception in thread "main" java.lang.NoClassDefFound
我试图将从映射操作返回的(惰性)序列传递给另一个映射操作,以便我可以在第一个序列中查找元素。代码从文本文件(以行/列格式)解析一些足球装置,清理它,然后返回一张 map 。 这是代码: (ns fix
我想过滤一组,例如: (filter-set even? #{1 2 3 4 5}) ; => #{2 4} 如果我使用clojure.core/filter我得到一个不是集合的seq: (filte
(defn hi[](+ 5 6)) (hi) (defn hi[](+ 6 7)) (hi) 你好,我是 clojure 的新手。如上所述,我编写了两个具有相同名称的函数。我们可以在 cloj
我按照这个伪代码递归地将十进制转换为二进制。 findBinary(decimal) if (decimal == 0) binary = 0 else binar
我正在尝试学习 Clojure 并尝试定义这个简单的函数: user=> (defn triple [arg] (* 3 arg)) #'user/triple user=> (triple 1) 3
是->和 ->>宏只是为了使代码更具可读性还是它们还有其他特定功能? 最佳答案 线程优先( -> )和线程最后( ->> )是为了使代码更具可读性。但这已经很重要了! 它允许取消嵌套函数调用(示例取自
我在 http://www.learningclojure.com/2010/11/yet-another-way-to-write-factorial.html 上找到了这个代码,但我不明白 pop
我正在阅读 Programming Clojure 2nd edition,在第 49 页它涵盖了 Clojure 的 for 循环结构,它说它实际上是一个序列理解。 作者建议使用以下代码: (def
Clojure 中有双端队列吗?我的印象是 Clojure 的 PersistentQueue 是单端的(我错了吗?)。我需要能够从队列的任一端删除(即“pop”)和“peek”数据。我所说的双端队列
换句话说,有没有办法在看起来不像 (MACRO arg* ...) 的表单上触发宏扩展? . 举一个假设的例子: (defmacro my-var (do (printf "Using my-va
我很难理解懒惰。 有人能帮我理解为什么我下面的函数不是懒惰的吗 (defn my-red ([f coll] (my-red f (first coll) (rest coll) ))
在 Clojure 核心中决定参数函数顺序的规则是什么(如果有的话)? 类似 map 的函数和 filter期望数据结构作为最后一个 争论。 类似 assoc 的函数和 select-keys期待数据
我在 clojuredocs 上遇到过 completing 函数,但目前没有文档。 你能提供一些例子吗? 最佳答案 completing 用于扩充可能没有具有一元“完成”元数的一元重载的二元归约函数
这个现在支持吗?我能找到的唯一信息是来自维基的示例( https://github.com/clojure/core.match/wiki/Deftype-and-defrecord-matching
我正在关注“Clojure in Action”,对此我感到困惑: (defn with-log [function-to-call log-statement ] (fn [& args
对于下面的代码,箭头是宏还是函数名称中的简单字符? (来自 here) (defn file->map [file] ;; TODO ) 最佳答案 箭头是函数名称的一部分。有一个函数定义,不是
Clojure 的 range函数包含来自 start独家在end (如果提供)。核心库中是否有一个函数可以提供完全包含(开始和结束)的范围? 我发现在某些情况下必须调整最终值的代码 - 例如向下而不
当我尝试从 REPL 运行以下代码时(使用动态记录): (defrecord (symbol "rec2") (vec (map symbol ["f1" "f2"]))) 我收到错误 Compile
我是一名优秀的程序员,十分优秀!