¿Por qué se requiere un vector?

Question

Nunca pensé en esto hasta que le expliqué algún código de clojure a un compañero de trabajo que no estaba familiarizado con Clojure. Le estaba explicando let cuando le preguntó por qué usa un vector para declarar los enlaces en lugar de una lista. Realmente no tenía una respuesta para él. Pero el lenguaje no restringir su uso listas:

=> (let (x 1) x) 
java.lang.IllegalArgumentException: let requires a vector for its binding (NO_SOURCE_FILE:0) 

¿Por qué es esto?

Answer 1

Mayor legibilidad, me imagino. Siempre que se necesiten enlaces en Clojure, un vector se usa de manera bastante consistente. Mucha gente está de acuerdo en que los vectores para enlaces hacen que las cosas fluyan mejor, y hacen que sea más fácil discernir cuáles son las vinculaciones y cuál es el código de ejecución.

Sólo por diversión:

user=> (defmacro list-let [bindings & body] `(let ~(vec bindings) ~@body)) 
#'user/list-let 
user=> (macroexpand-1 '(list-let (x 0) (println x))) 
(clojure.core/let [x 0] (println x)) 
user=> (list-let (x 0 y 1) (println x y)) 
0 1 
nil 

Answer 2

Clojure se esforzaba mucho para ser coherente. No hay ninguna razón técnica con una lista que no se haya podido usar en let, fn, with-open, etc ... De hecho, puede crear su propia my-let lo suficientemente fácil como para usar una en su lugar. Sin embargo, aparte de sobresalir visiblemente, el vector se usa de manera consistente en todas las formas para significar "aquí hay algunas encuadernaciones". Debes esforzarte por mantener ese ideal en tu propio código.

Answer 3

Esto es un modismo de Scheme. En muchas implementaciones de Scheme, los corchetes se pueden usar indistintamente con paréntesis redondos en literales de lista. En esas implementaciones de Scheme, los corchetes se usan a menudo para distinguir listas de parámetros, listas de argumentos y enlaces de S-expressions o listas de datos.

En Clojure, los paréntesis y los corchetes significan cosas diferentes, pero se usan de la misma manera en las declaraciones vinculantes.

Answer 4

mi conjetura es que es una convención

fn usado, defn usado, loop usos.

Parece que es para todo lo que se asemeja a un bloque de código que tiene algunos parámetros; más específico, los corchetes son para marcar esos parámetros

otras formas para bloques de código no lo utilizan, como if o do. no tienen ningún parámetro

Answer 5

Otra forma de pensar sobre esto es que let se deriva simplemente de lambda. Estas dos expresiones son equivalentes:

((fn [y] (+ y 42)) 10) 
(let [y 10] (+ 42 y)) 

Así como un punto de académico o de instrucción, incluso se podría escribir su propia versión muy rudimentario de let que tuvo una lista, así como un vector:

(defmacro my-let [x body] 
    (list (list `fn[(first x)] 
       `~body) 
     (last x))) 

(my-let (z 42) (* z z)) 

aunque no habría ninguna razón práctica para hacer esto.