Confused by «let» in Clojure

Question

Я только начал играть с Clojure, и я написал небольшой скрипт, чтобы помочь мне понять некоторые функции. Она начинается так:

(def *exprs-to-test* [ 
    "(filter #(< % 3) '(1 2 3 4 3 2 1))" 
    "(remove #(< % 3) '(1 2 3 4 3 2 1))" 
    "(distinct '(1 2 3 4 3 2 1))" 
]) 

Затем он проходит через *exprs-to-test*, оценивает их всех, и печатает вывод так:

(doseq [exstr *exprs-to-test*] 
    (do 
     (println "===" (first (read-string exstr)) "=========================") 
     (println "Code: " exstr) 
     (println "Eval: " (eval (read-string exstr))) 
    ) 
) 

Приведенный выше код все работает нормально. Однако, (read-string exstr) повторяется, так что я пытался использовать let устранить повторение так:

(doseq [exstr *exprs-to-test*] 
    (let [ex (read-string exstr)] (
     (do 
      (println "===" (first ex) "=========================") 
      (println "Code: " exstr) 
      (println "Eval: " (eval ex)) 
     ) 
    )) 
) 

Но это работает один раз для первого элемента в *exprs-to-test*, а затем падает с NullPointerException. Почему добавление let вызывает крушение?

Answer 1

У вас есть дополнительный набор круглых скобок вокруг формы do. Ваш код делает это:

((do ...)) 

Он пытается выполнить (как вызов функции) значение всей do формы, но do возвращается nil, потому что в do формы последнего println возвращает nil.

Примечание. Ваш стиль отступа является нестандартным. Вы не должны помещать закрывающие парнеры в свои собственные строки. И let имеет неявный do, так что вам не нужен он там. Попробуйте это:

user> (doseq [exstr *exprs-to-test*] 
     (let [ex (read-string exstr)] 
      (println "===" (first ex) "=========================") 
      (println "Code: " exstr) 
      (println "Eval: " (eval ex)))) 
=== filter ========================= 
Code: (filter #(< % 3) '(1 2 3 4 3 2 1)) 
Eval: (1 2 2 1) 
=== remove ========================= 
Code: (remove #(< % 3) '(1 2 3 4 3 2 1)) 
Eval: (3 4 3) 
=== distinct ========================= 
Code: (distinct '(1 2 3 4 3 2 1)) 
Eval: (1 2 3 4) 

Answer 2

Брайан уже ответил на ваш вопрос, так что я просто хочу дать вам некоторые общие указатели для LET-формы:

• Special forms (см раздел LET)
• Bindings

Answer 3

Я думаю, что другие ответы игнорируют слона в комнате: почему вы это делаете? Есть много вещей в вашем коде, которые заставляют меня беспокоиться вы ковкой на неверном пути через обучение Clojure:

• Использование глобальных привязок (exprs к испытанию)
• Использование doseq/Println к попробовать код в последовательности
• Использование Eval

Самый лучший способ узнать о API, Clojure это через РЕПЛ. Вы должны настроить свою среду, будь то Vim, Emacs или IDE, чтобы вы могли легко перемещаться между статическим кодом в текстовых файлах и интерактивным REPL. Here is a good breakdown of a number of Clojure IDEs.

Теперь, насколько ваш код идет, нужно запомнить несколько вещей. Во-первых, почти никогда не было хорошей причины использовать eval. Если вы это сделаете, спросите себя, действительно ли это необходимо. Во-вторых, помните, Clojure - это функциональный язык, и обычно вам не нужно использовать набор макросов «do».Макросы «do» полезны, когда вам нужно иметь побочные эффекты (в вашем примере побочный эффект - это println to * out *) Наконец, следует избегать использования глобальных vars. Если вам нужно использовать vars, вам следует использовать макрос привязок, чтобы привязать vars локально к потоку к неизменяемым значениям, чтобы не возникало проблем с параллелизмом.

Я определенно рекомендую вам занять время, чтобы забрать Программу Clojure или другую более глубокую ссылку на LISP, чтобы по-настоящему понять сдвиг, необходимый в том, как вы думаете о программировании, чтобы эффективно использовать Clojure. Ваш небольшой образец здесь заставляет меня чувствовать, что вы пытаетесь написать императивный код в Clojure, который совсем не будет работать.