Если значения не имеют типов, то что с ними можно делать? Можно вводить, выводить, копировать, перемещать. Описывать разделение - „деструктурирование” и объединение „структурирование” (как в языке Rust, только без введения типа "кортеж")

структурирование и деструктурирование — это операции, которые работают с агрегированными данными
(например, с записями, полями, последовательностями), но они не порождают новых типов в спецификации.
Это просто способ собрать или разобрать значение.
В Rust такие операции есть, но они привязаны к типам (кортежам, структурам).
У вас же они работают без типов — значение просто имеет структуру, которая существует в реализации, но не закреплена в спецификации.
Попытка деструктурировать число в цифры может выдать ошибку "невозможно превратить камень в комаров, природа протестует".

«Вы не можете „разобрать” число на цифры, потому что число не было собрано из цифр.»
Даже если оно было собрано из цифр, вам оно даётся как "значение". Вы должны обладать алгоритмом, способностью расчленить такое значение критериями (ножами). Если ваша философия не позволяет вам это, вы можете только наблюдать значение и демонстрировать значение другим.

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

    Хранить — держать значение у себя (в памяти, в файле, в базе данных). Это постоянное владение.

    Размещать — помещать значение в определённое место (в переменную, в поле, в ячейку массива). Это акт привязки значения к месту.

    Выдавать — давать значение во временное пользование, как книгу в библиотеке. Это не вывод (который отправляет значение вовне безвозвратно), а временная передача: кто-то берёт значение, пользуется им, а потом возвращает.

Это кардинально меняет модель языка. Он становится ближе к системе управления объектами с владением, временным доступом и реактивностью.

---

Действия, которые мы можем выполнять с значениями основываются на том, что у значений есть бытие (размер в памяти, размер во времени).
Были бы они телами, у них было бы положение в пространстве. Но если мы введём „Вещь” (о чём можно думать), „Тело” (что имеет положение) и „Значение” (что размещается в памяти), то это будет уже введением типов.

язык чистых Значений. Он описывает только то, как значения перемещаются, хранятся и наблюдаются, но не описывает, чем они являются (Вещи) и как они физически устроены (Тела).

- Сущее (от «существовать») — подчёркивает факт бытия. Это философский термин, он говорит: «это есть, и это всё». Он не говорит о структуре, не говорит о действиях. Он чисто онтологический. Хорош тем, что полностью лишён семантической нагрузки. Плох тем, что звучит непривычно в контексте языков программирования.
- Сущность (entity) — нечто, обладающее самостоятельным существованием. Используется в базах данных и моделировании. Тоже вариант.
- Объект — подчёркивает предметность. С объектом можно делать действия: взять, положить, переместить. Объект имеет идентичность. Это более практичный термин. Плох тем, что в программировании «объект» уже сильно нагружен смыслом (обычно это экземпляр класса с состоянием и поведением). Но в вашем языке классов нет, так что это слово можно «переопределить».
- Данные (data) — но данные обычно что-то означают (данные о чём-то). Не подходит.
- Атом — неделимая единица. Но это слишком физически-нагруженное слово.
- Вещь — но вы уже использовали «Вещь» для того, о чём можно думать (смысл). Значит, это слово занято.
    Но программа, тоже «думает» (в том смысле, что оперирует «вещами»).

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

вещи можно в чём-либо подозревать. Тоже от "смотреть", как в "наблюдать", но заранее. Можно подозревать, что вещь volatile (меняется сама).
Это не наблюдение (которое смотрит на то, что есть сейчас) и не реакция (которая действует на изменение).
Это предположение о том, что Вещь может обладать некоторым свойством, которое не дано непосредственно, но может проявиться в будущем.
Это введение нового способа отношения к Вещи — отношения, которое происходит до действия, до наблюдения, до проверки. Это отношение предвосхищения.

если у значений нет типов, но мы можем предполагать о них свойства (изменчивость), то
отношение «подозревать» — это естественное расширение модели отношений между программой и значением.

ЯПВМ - язык, подозревающий вещи меняющимися.

Отредактировано Лис (2026-08-27 11:20:34)

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

я существую, и я субъектен, значит я мыслю (о вещах).
Мысли это (тоже) вещи, значит могу мыслить о мыслях, значит это логическое.

материальная_платформа = взаимодействие(природное, вещи)
субъект = взаимодействие(материальная_платформа, природное, субъективное, социальное)
мысли = взаимодействие(субъект, вещи)
логическое = взаимодействие(мысли, мысли)
вещь-класс = взаимодействие(вещи, логическое) = абстрагирование(вещи)

---

Что значит «каждая программа правильная»
Это означает, что спецификация языка не берёт на себя роль судьи. Она не говорит:
    «Это выражение осмысленно, а это — нет».
    «Здесь типы сходятся, а здесь — расходятся».
    «Эта программа корректна, а эта — содержит ошибку».
Вместо этого спецификация говорит только:
    «Вот как записываются взаимодействия».
    «Вот какие вещи существуют в этом мире».

правильность программы определяется исключительно рантаймом:
    Если рантайм может исполнить программу — она правильная.
    Если рантайм не может — она неправильная.

---

Спецификация языка не перечисляет вещи. Она описывает как устроен мир, в котором вещи существуют и взаимодействуют. Она говорит:
- Есть вещи.
- Есть взаимодействия.
- Есть правила, по которым из взаимодействий рождаются новые вещи (но не предписывает, какие именно).
- Есть синтаксис, позволяющий записывать взаимодействия в тексте программы.
Спецификация — это онтологическая рамка.
Она задаёт тип мира, в котором работает язык, но не наполняет его конкретным содержанием.
Спецификация языка становится универсальной.
Она не зависит от того, какие именно вещи есть в мире.
Она описывает только форму существования любого мира: вещи, взаимодействия, порождение.

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

Рантайм:
- Исполняет взаимодействия на материальной платформе.
- Решает, как именно взаимодействие выполняется и какую вещь возвращает.
- Может опираться на стандартную библиотеку (знать, как ведут себя числа, строки и т. д.).
Компилятор, рантайм, команды — это вещи, с которыми можно взаимодействовать.
Программист может не просто «писать код», но и взаимодействовать с самим процессом исполнения как с вещью.

---

Программист контролирует:
- Какие вещи есть в мире программы.
- Какие виды взаимодействий возможны.
- В каком порядке взаимодействия происходят.
- При каких условиях они происходят, повторяются или прерываются.
Это контроль над условиями

Отредактировано Лис (2026-08-27 13:52:33)