Что такое «ценность» в контексте программирования?

Question

Можете ли вы предложить точное определение «значения» в контексте программирования без ссылки на конкретные методы кодирования или на конкретные языки или архитектуры?

_{[Предыдущий текст вопроса, для обсуждения: Что такое значение в программировании? Как точно определить это слово?"]}

Answer 1

Мне довелось взглянуть на «Типы и языки программирования» Пирса - он вставляет в текст достаточно точное определение «значения» в контексте программирования:

[...] определяет подмножество терминов, называемых значениями , которые являются возможными окончательными результатами оценки

Это выглядит как довольно аккуратное определение - то есть мы берем набор всех возможных терминов, и те, которые могут быть оставлены после того, как все оценки выполнены, являются значениями.

Answer 2

Короче говоря, значение - это некоторое присвоенное значение переменной (объект, содержащий значение)

Например, тип = логическое; имя = помощь; переменная = место хранения; значение = что хранится в этом месте;

Дальнейшая разбивка:

Х = 2; где X - переменная, а 2 - значение, хранящееся в X.

Answer 3

Основываясь на постоянных комментариях о том, что «биты» являются неприемлемым определением, я думаю, что это немного лучше (хотя, возможно, все еще ошибочно):

Значение - это что-либо представимое на части, возможно, бесконечнойЛента Тьюринга.

Редактировать: я уточняю это еще немного.

Значение является членом набора возможных интерпретаций любой возможно бесконечной последовательности символов.

Это эквивалентно более раннему определению, основанному на ленте машины Тьюринга, но на самом деле оно обобщает лучше.

Answer 4

Здесь я сделаю снимок: значение - это часть хранимой информации (в теоретико-информационном смысле), которой может манипулировать компьютер.

(я не скажу, чтозначение имеет значение, случайное число в регистре может не иметь значения, но все равно это значение.)

Answer 5

Чтение Wiki

Answer 6

Вы проверяли статью в Википедии?

В информатике значение - это последовательность битов, которая интерпретируется согласно некоторому типу данных.Одна и та же последовательность битов может иметь разные значения в зависимости от типа, используемого для интерпретации ее значения.Например, значение может быть целым числом или значением с плавающей запятой или строкой.