Por ejemplo, en lenguajes funcionales, las variables son de asignación única y sus valores son inmutables una vez asignados. Por lo tanto, tienen dos estados sin consolidar y vinculados , una vez vinculados no se pueden cambiar.
¿Hay algún término matemático u otro término informático que sea más apropiado para tal cosa? Algo que semánticamente no implica varianza o mutabilidad.
Si no existe, como el término, y si estuviera diseñando un lenguaje que tuviera tales construcciones, ¿qué otra cosa que la variable de palabra usaría para estas?
Realmente no estoy buscando sondear ideas, estoy tratando de averiguar si ya existe un término aceptado de la industria (cualquier industria) para tal cosa.
Respuestas:
¿Qué pasa con el "símbolo"?
Vi un video en F # donde el orador dijo:
(Todavía estoy buscando la referencia para esto).
Cada vez que encuentro la palabra "variable" en lugares donde tales construcciones son inmutables, pienso en silencio como "símbolo encuadernado".
fuente
Solo llámalos variables. Las matemáticas tienen variables; Los lenguajes funcionales tienen el mismo tipo de variables.
Vea también este ensayo de Bob Harper sobre este tema terminológico .
fuente
Sigue siendo una variable si puede tomar varios valores en diferentes invocaciones. En otras palabras, aunque no se puede cambiar una vez asignado, ese símbolo se puede asignar a diferentes valores inicialmente. Eso contrasta con una constante que contiene el mismo valor cada vez que se invoca.
fuente
constante o constante probablemente sea familiar para las personas que usan lenguajes como C y C ++,
fuente
Nombre . La misma cosa puede ser llamada razonablemente por múltiples nombres (
x = 4; y = 4
); y un nombre, una vez definido, nunca cambia su referente.x = 2; x = 3
tiene tan poco sentido como decir que un pulpo no es un pulpo.fuente
label
peroname
funciona de manera justa y mejor si no mejor.¿Por qué no seguir con ese término? Puede que no sea 100% apropiado, pero cuando eliges un nombre diferente, eso probablemente causará más malentendidos que los que intentas resolver. Los diseñadores de otros lenguajes funcionales pueden tener el mismo problema, pero también decidieron usar el término "variable".
XSLT (que se usa ampliamente):
http://www.w3schools.com/xsl/el_variable.asp
Haskell
http://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-240003.2
Esquema:
http://www.scheme.com/tspl2d/binding.html
Erlang:
http://www.erlang.org/doc/reference_manual/expressions.html
Todos ellos también usan el término "variable".
Por supuesto, otros diseñadores de idiomas prefieren hablar de "enlaces" o "valores vinculados", como aquí para F #:
http://msdn.microsoft.com/en-us/library/dd233238.aspx
fuente
Dependiendo del contexto, "variable" o "enlace" funcionaría. Creo que "vinculante" es más probable que aparezca en declaraciones como
let
en Haskell o Lisp.fuente