Наприклад, у функціональних мовах змінні - це однозначне призначення, і їх значення незмінні, коли вони присвоєні. Таким чином, у них є два незв'язані та зв'язані два стани , один раз пов'язані вони не можуть бути змінені.
Чи є якийсь математичний термін чи інший термін інформатики, який є найбільш підходящим для такої речі, як річ? Щось, що семантично не передбачає дисперсії чи змінності.
Якщо цього не існує, наприклад, термін, і якщо ви розробляли мову, яка мала б такі конструкції, що б ви не використовували для цього змінну слів ?
Я не дуже бажаю опитати ідеї, я намагаюся з’ясувати, чи існує вже прийнятий галузевий (будь-яка галузь) термін для такої речі.
1
Просто називайте їх непорушними ;)
—
Одід
остаточна змінна?
—
smp7d
Математичний термін для цих видів змінних був би "змінним". Поняття змінної змінної насправді не існувало, поки мови програмування не увійшли до зображення.
—
sepp2k
Я не згоден з @ sepp2k. Термін "змінна" був введений Лейбніцом при його розробці диференціального числення, і з того часу він був частиною математики та фізики. Ці змінні кількості обов'язково потребують можливості зміни. Інакше ідея $ \ Delta x $ або $ dx $ не має сенсу.
—
Michael Bächtold
@ sepp2k Я не згоден. Там є концепція повторного призначення в математиці, хоча він традиційно не називається саме так. Математики постійно вводять змінні скажіть x, y у їх контекст (не привласнюючи їм значення) і припускаючи щось про них, скажімо, y + x = 5. Далі вони можуть припустити, що x = 1, а висновок y = 4. Вони можуть скинути припущення x = 1 і припустити x = 2 і зробити висновок y = 3. Для мене це зміна x, і ми все ще говоримо про одну і ту ж змінну x, оскільки припущення x + y = 5 має місце в обох контекстах.
—
Michael Bächtold