¿Qué significa "let *" (let asterisk) en elisp

Lo he usado letantes, pero nunca he usado let* ¿qué significa let*(dejar asterisco) en elisp?

Fyi este fue difícil de google debido al asterisco.

Significa que cuando hay más de un enlace, las variables se unen secuencialmente, de modo que cada una puede depender de los valores vinculados a los que están vinculados antes, es decir, los que vienen antes en los let*enlaces.

Para let(sin asterisco), no se puede suponer que ninguno de los enlaces ocurra antes que cualquiera de los otros (las variables podrían, en principio, estar unidas en paralelo).

Por (let ((a 42) (b a))...b)lo tanto, puede generar un error porque intenta vincularse bal valor de a, y a(al menos el particular aque está vinculado en esto let) no se puede suponer que se ha vinculado a un valor.

[Si alguna otra variable (por ejemplo global) a está unido a un valor, por ejemplo, 5y, a continuación que letla expresión podría unirse a su (local) apara 42y se unen bal valor de la mundial a, es decir, 5.]

Pero (let* ((a 42) (b a))...b)regresa 42porque ase vincula 42 y luego b se vincula al valor de a.

Consulte el manual de Elisp, Variables locales de nodo .

Actualización, del recordatorio de @ DoMiNeLa10 en un comentario:

Además del manual, también puede usar los comandos de ayuda . De todas las diversas formas de "preguntar a Emacs" , se encuentran entre las primeras en aprender y las más útiles.

Y para C-h f let*nos dice, sucintamente:Each VALUEFORM can refer to the symbols already bound by this VARLIST.

Aunque no hay nada malo en pedir aquí, que haría usted mismo un favor si pedirá Emacs tales preguntas. Solo use C-h ipara abrir el navegador de información de manuales, elija el Elispmanual y use i let*para buscar let*en el índice (con finalización). Eso te lleva directamente al nodo que cubre esto.

(Y el manual generalmente cubre las cosas mejor de lo que se hará aquí, ya que miles de contribuyentes han dedicado mucho tiempo y esfuerzo a hacerlo bien: correcto y completo).

También puede buscar en este sitio preguntas y respuestas que usen la etiqueta let-binding: simplemente colóquelas [let-binding]en el campo de búsqueda. (Lo haré ahora, para ver si esta pregunta es quizás un duplicado ...)

let*es como un letsignificado recursivo :

(let* ((var1 VAL1)
       (var2 VAL2))
  ...)

es como

(let ((var1 VAL1))
  (let ((var2 VAL2))
    ...))

De este modo, el uso de letras mayúsculas para VAL1e VAL2indica que también pueden ser expresiones.

La letunión recursiva tiene consecuencias si VAL2depende realmente de var1. El efecto ya se describe en la respuesta de Drew .