lisp - Clojure 变量和循环

Question

通过谷歌搜索，我发现不鼓励使用 while 循环或使用变量。

现在我实现了一个非常简单的算法，它将从输入流中读取字符并进行相应的解析:如果输入是 10:abcdefghej 它将解析出 10 然后读取下一个 10冒号后的字节。

我有点迷失的是如何重构它，使其不依赖于变量。

(defn decode-string [input-stream indicator]

  (with-local-vars [length (str (char indicator) )
            delimiter (.read input-stream ) 
            string (str "")
            counter 0 ]

    (while (not(= (var-get delimiter) 58 ))
       (var-set length (str (var-get length) (char (var-get delimiter)) ))
       (var-set delimiter (.read input-stream )))

    (var-set length (new BigInteger (var-get length)) )
    (var-set counter (var-get length))

    (while (not(zero? (var-get counter) ))
       (var-set string (str (var-get string) (char (.read input-stream ))  ))
       (var-set counter (dec (var-get counter))))
    (var-get string)))

另外，我知道声明变量的唯一方法是使用 with-local-vars 关键字。一开始就在一个 block 中定义所有变量是不是有点不切实际，还是我错过了一些关键点？

Answer 1

您正在编写的是具有类似 lisp 语法的 C 代码(无意冒犯)。用你不做来定义风格是非常明确的，但如果你不知道“好吧，那又如何呢？”这不是很有帮助

顺便说一下，我不知道 indicator 应该做什么。

这就是我解决这个问题的方法:

1. 问题分为两部分:找到要读取的字符数，然后读取那么多字符。因此，我会写两个函数:read-count 和 read-item，后者使用前者。

   (defn read-count [stream]
     ;; todo
     )
   
   (defn read-item [stream]
     ;; todo
     )
   

2. read-item首先需要确定要读取的字符数。为此，它使用我们也将定义的便捷函数 read-count。

   (defn read-item [stream]
     (let [count (read-count stream)]
       ;; todo
       ))
   

3. 在 Clojure 中，循环通常最好通过使用 loop 和 recur 来处理。 loop 也绑定(bind)变量，如 let。 acc的意思是累加读取的item，但是注意不是原地修改而是每次迭代都重新绑定(bind)。

   (defn read-item [stream]
     (loop [count (read-count stream)
            acc ""]
       ;; todo
       (recur (dec count)        ; new value for count
              (str acc c)))))    ; new value for acc
   

4. 现在我们需要在那个循环中做一些事情:将 c 绑定(bind)到下一个字符，但是当 count 是时返回 acc 0. (zero?count) 与 (= count 0) 相同。我为那些不熟悉它的人对 if 形式做了一些注释。

   (defn read-item [stream]
     (loop [count (read-count stream)
            acc ""]
       (if (zero? count)                  ; condition
           acc                            ; then
           (let [c (.read stream)]        ; \
             (recur (dec count)           ;  > else
                    (str acc c)))))))     ; /
   

5. 现在我们只需要read-count 函数。它使用类似的循环。

   (defn read-count [stream]
     (loop [count 0]
       (let [c (.read stream)]
         (if (= c ":")
             count
             (recur (+ (* count 10)
                       (Integer/parseInt c)))))))
   

6. 在 REPL 上测试、调试、重构。 .read 真的返回字符吗？有没有更好的方法来解析整数？

我还没有测试过这个，我对 Clojure 没有任何经验和深入了解(我主要使用 Common Lisp)有点受阻，但我认为它展示了如何在“lispy”中解决此类问题“方式。请注意我是如何不考虑声明或修改变量的。