- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
为什么 cons 在这种情况下与lazy-seq 一起工作,而 conj 却不行?
这有效:
(defn compound-interest [p i]
(cons p (lazy-seq (compound-interest (* p (+ 1 i)) i))))
这没有(它给出了堆栈溢出异常):
(defn compound-interest2 [p i]
(conj (lazy-seq (compound-interest2 (* p (+ 1 i)) i)) p))
最佳答案
(conj collection item)
添加 item
至collection
.为此,它需要实现collection
. (我将在下面解释原因。)所以递归调用立即发生,而不是被推迟。(cons item collection)
创建一个以 item
开头的序列,然后是 collection
中的所有内容.值得注意的是,它不需要实现collection
.所以递归调用将被推迟(因为使用 lazy-seq
),直到有人试图得到结果序列的尾部。
我将解释这是如何在内部工作的:cons
实际上返回一个 clojure.lang.Cons
对象,这就是惰性序列的组成部分。 conj
返回您传递给它的相同类型的集合(无论是列表、向量还是其他)。 conj
使用对集合本身的多态 Java 方法调用来执行此操作。 (见 line 524 of clojure/src/jvm/clojure/lang/RT.java
。)
当 Java 方法调用发生在 clojure.lang.LazySeq
上时会发生什么? lazy-seq
返回的对象? (Cons
和 LazySeq
对象如何一起工作以形成惰性序列将在下面变得更加清晰。)查看 line 98 of clojure/src/jvm/clojure/lang/LazySeq.java
.请注意,它调用了一个名为 seq
的方法。 .这就是实现 LazySeq
值(value)的原因。 (详情请跳至line 55)。
所以你可以说conj
需要确切知道你通过了什么样的集合,但是cons
没有。 cons
只要求“集合”参数是 ISeq
.
请注意 Cons
Clojure 中的对象与其他 Lisps 中的“cons 单元”不同——在大多数 Lisps 中,“cons”只是一个对象,它包含两个指向其他任意对象的指针。所以你可以使用 cons 单元来构建树,等等。 Clojure Cons
采用任意 Object
作为头,和 ISeq
作为尾部。由于Cons
本身实现 ISeq
,您可以从 Cons
构建序列对象,但它们也可以指向向量或列表等。(请注意,Clojure 中的“列表”是一种特殊类型(PersistentList
),不是从 Cons
对象构建的。)clojure.lang.LazySeq
还实现了ISeq
, 所以它可以用作 Cons
的尾部(Lisps 中的“cdr”) .一个 LazySeq
包含对某些代码的引用,该代码的计算结果为 ISeq
某种形式,但在需要之前它实际上不会评估该代码,并且在它评估代码之后,它会缓存返回的 ISeq
并代表它。
...这一切都开始有意义了吗?你知道惰性序列是如何工作的吗?基本上,您从 LazySeq
开始.当LazySeq
已实现,它的计算结果为 Cons
,它指向另一个 LazySeq
.当那个被实现时……你明白了。所以你得到一个链LazySeq
对象,每个持有(并委托(delegate)给)一个 Cons
.
关于 Clojure 中“conses”和“lists”的区别,“lists”(PersistentList
对象)包含缓存的“length”字段,因此可以响应 count
在 O(1) 时间内。这在其他 Lisps 中不起作用,因为在大多数 Lisps 中,“列表”是可变的。但是在 Clojure 中它们是不可变的,所以缓存长度是可行的。Cons
Clojure 中的对象没有缓存长度——如果有,它们如何用于实现惰性(甚至无限)序列?如果您尝试使用 count
的 Cons
, 它只是调用 count
在它的尾部,然后将结果增加 1。
关于clojure cons vs conj with lazy-seq,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12389303/
为什么该语言的名称是“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
我是一名优秀的程序员,十分优秀!