# Диалектика статических обобщённых типов

Руководствуясь принципами диалектического материализма необходимо признать, что не существует типов вообще. Если один из типов существует фактически в качестве типа процессора или ВМ -- именно он должен являться базовым по отношению ко всем обобщённым типам.

Базовым типом **ВМ** будет знаковое целое. Беззнаковое целое в качестве _базового_ типа является идеалистическим отражением наличного бытия. Беззнаковое целое, литера и булево значение будем считать производными значениями от целого.

Таким образом провозглашён онтологический принцип:

```text
Целое как первооснова информационной материи,
как атомарная форма количества,
как единица измерения бытия в мире вычислений.
```

Это — не компромисс, не инженерная хитрость в духе `ad hoc`, а революционный шаг в построении онтологии **prolet**, где сложное выводится из простого, а многообразие — из единого и реально существующего.

Разберём это решение в свете диалектического материализма.

## Зачем именно знаковое целое? Онтологическое обоснование

- Принцип: `количество — первая форма бытия`
- В диалектике качество возникает из количества.
- Прежде чем различать "истина/ложь", "литера", "адрес" — мир различает "сколько?".

Целое — минимальная форма количества, способная отражать объективные состояния:

- температура,
- счёт,
- индекс,
- время,
- ошибка (код),
- адрес памяти (в относительной форме).

Оно — не абстракция, а отражение закона измерения в природе.

## Почему именно знаковое?

Потому что реальный мир — не только "больше нуля".

- Температура может быть −273°C,
- Баланс — отрицательным,
- Ошибка — кодом `−1`.

Беззнаковое — идеализм, оно отрицает возможность отрицания, а диалектика — основана на отрицании.

Знаковое целое — единство положительного и отрицательного, оно носит в себе внутреннее противоречие, и потому — диалектически полно.

## Производные типы: снятие противоречия через практику

В **prolet** отказ от "независимых" типов носит методический характер.

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

### Булево

целое (перечисление [0, не 0])

### Литера

целое (интерпретация Юникода, диапазон [0x00, 0x10FFFF])

### Беззнаковое

целое (диапазон [0, +∞)) — как ограничение, а не отдельный тип

Это — не упрощение, это — развитие через снятие противоречия:

- Простое (целое) — утверждается,
- Сложное (булево, литера) — отрицает его,
- Но затем — отрицается само,
- И возвращается как интерпретация целого в заданном контексте.

## Реализация в prolet: типы как категории бытия

### Базовый тип: (тип Целое : целое)

```prolet
(тип Яблоки : Целое)
```

Целое не определяется через что-то более простое. Является _аксиомой_ онтологии.

Все операции (`+`, `-`, `*`, `>>`, `&`) — определены на нём напрямую.

### Булево как ограниченное целое

```prolet
(тип Булево : Целое
    @перечисл [Ложь, Истина]
    @интерпретация (0 → Ложь, не 0 → Истина)
```

Использование:

```prolet
((Бул 5) -> @фикс еслиВкл)( // значение  Истина)
(если еслиВкл
    тогда (Напечатать "ВКЛ"))
```

При этом:

- В памяти — просто не 0,
- Но в контексте условия — интерпретируется как Истина.

## Литера как целое с семантикой кода UTF-8

```prolet

(тип Литера : Целое
    @диапазон [0, 0x10FFFF]
    @интерпретация Юникод
    @литералы ('a' → 97, 'я' → 1071))

((Лит 'А') -> @фикс литА)(// литра с кодом 1040)
```

Литера — не "отдельный тип",
а целое, наделённое смыслом через стандарт.

### Беззнаковое — как контракт, а не тип

```prolet

(тип Абс (// Абсолютное значение целого)
    @диапазон (0, ЦелМакс)(// проверяется на этапе компиляции или рантайме)
)
```

Или — через валидатор:

```prolet
(фн Беззнаковый (имя Битность) -> @фикс Результат.Бул
    (ПроверитьБезЗнак имя))

(Беззнаковый U32)(// Проверяет беззнаковое число в рантайме
```

Беззнаковое — не база, а производная категория, возникающая в практике индексации, адресации, счётчиков.

## Преимущества подхода

- Минимализм онтологии
- Один базовый тип — меньше путаницы, меньше ошибок
- Единство представления
- Все данные — целые, значит, можно сравнивать, передавать, сериализовать одинаково
- Безопасность через контекст
- Ошибка "сложить символ и булево" — не на уровне типов, а на уровне смысла
- Развиваемость

Новые типы — не добавляются, а выводятся из целого через практику

## Экономия мыслетоплива

Программист не думает: "это `int` или `uint`?", а думает: "это счётчик, значит — неотрицательное"

## Психологическая и педагогическая выгода

- Новичок учит один тип — целое, а потом — как его интерпретировать.
- Ошибки вроде `i = -1`; `for (i < n; ...)` — обнаруживаются не по типу, а по нарушению контракта `(@диапазон [0, ∞))`.
- Система подсказывает: "Переменная `i` помечена как беззнаковая, но присваивается `-1`. Это противоречит контракту."

Это — не бюрократия, это — диалектическое воспитание сознания.

## Диалектическая природа целого: от количества к качеству

Целое — не конец пути, а начало познания.

### Количество

`x = 42`

### Простое накопление

Ограничение: `x : [0, 100]`

### Единство и борьба (ограничение свободы ради смысла)

- Интерпретация `x` как возраст, код ошибки, символ
- Переход количества в качество
- Синтез: `@возможно Пользователь`

`Целое` становится частью сложного процесса

`Целое` — не "вещь", оно — форма движения материи в пространстве значений.

## Заключение: целое как первооснова prolet

Приведённое решение — не просто техническое, оно — философское, революционное, диалектически зрелое.

`Целое` — это не тип,

- это — категория бытия,
- это — мера количества,
- это — зародыш качества,
- это — материальная основа информационного мира **prolet**.

Все прочие типы — _не равноправны_,

- они — его производные,
- его развитие,
- его самопознание.