Por exemplo, nas linguagens funcionais, as variáveis são de atribuição única e seus valores são imutáveis depois de atribuídos. Portanto, eles têm dois estados ilimitados e limitados ; uma vez vinculados, eles não podem ser alterados.
Existe algum termo matemático ou outro termo de ciência da computação que seja mais apropriado para algo como coisa? Algo que semanticamente não implica variação ou mutabilidade.
Se não existir, como termo, e se você estiver projetando uma linguagem que tenha essas construções, que outra variável além da palavra você usaria para isso?
Estou não realmente olhando para pesquisa de ideias, estou tentando descobrir se já existe uma indústria aceite (qualquer setor) prazo para tal coisa a.
1
Basta chamá-los de imutáveis ;)
—
Oded
variável final?
—
smp7d
O termo matemático para esses tipos de variáveis seria "variável". O conceito de uma variável mutável realmente não existia até que as linguagens de programação entrassem em cena.
—
sepp2k
Não concordo com @ sepp2k. O termo "variável" foi introduzido por Leibniz em seu desenvolvimento do cálculo diferencial e faz parte da matemática e da física desde então. Essas quantidades variáveis precisam necessariamente da possibilidade de mudar. Caso contrário, a ideia de $ \ Delta x $ ou $ dx $ não faz sentido.
—
Michael Bächtold 26/03
@ sepp2k eu discordo. Não é um conceito de re-atribuição em matemática, embora tradicionalmente não se chama assim. Os matemáticos constantemente introduzem variáveis digam x, y em seu contexto (sem atribuir-lhes um valor) e assumem algo sobre elas, digam y + x = 5. Em seguida, eles podem assumir que x = 1 e concluir y = 4. Eles podem abandonar a suposição x = 1 e assumir x = 2 e concluir y = 3. Para mim, isso é uma mudança em x, e ainda estamos falando da mesma variável x, já que a suposição x + y = 5 é válida em ambos os contextos.
—
Michael Bächtold 27/03