Типизированный поток данных
Программа описывает форму данных и шаги их преобразования. Неизменяемые значения и ограниченные операции помогают разобраться в вычислении.
Alex SOLONSKYПроектыОбсудить SOLONCODESOLONCODE
Свой язык для программ, действия которых можно проверить
Я создаю SOLONCODE — типизированный язык и среду исполнения для управляемых интеграций с ИИ. Работа над языком продолжается, и уже сейчас я делаю на нём свои первые новые продукты.
Работающий язык и среда исполнения · Разработка продолжается
INPUT → PROGRAM → AUTHORITY → RESULT
01Типизированные данные
02Программа SOLONCODE
03Явные права среды
04Наблюдаемый результат
Truth = yes | no | unknown
pure fn · effect fn · solonsky
Зачем я создаю свой язык?
Я хочу сделать связь между замыслом, программой и внешним действием явной. Какие данные нужны шагу? Что ему разрешено делать? Кто выдаёт разрешение? Что происходит, если результат неизвестен? В SOLONCODE эти вопросы становятся частью программы и среды, которая её запускает.
Явные внешние действия
Чистые вычисления отделены от функций с внешними эффектами. Файлы, модели и инструменты доступны через настроенную среду и выданные ей права.
Неопределённость остаётся видимой
У Truth три состояния: yes, no и unknown. Неизвестный внешний исход можно оставить для проверки, сохранив его смысл при продолжении работы.
История длиннее одного ответа
Отдельные сервисные профили соединяют сохранённый контекст, решения владельца, инструменты и очереди работы. Результат остаётся связан с действием, которое к нему привело.
Разрешение — это решение, а не слово в ответе модели
Небольшая иллюстрация показывает разницу. Значение внутри программы описывает состояние; право выполнить действие определяет запускающая среда.
Значение unknown. Неопределённость сохраняется до явного решения.
Интерактивное объяснение · Не запускает SOLONCODE и внешние инструменты
Что можно изучить уже сейчас
macOS · Чистые программы
Подписанный и нотарифицированный пакет 0.5.56-trust1 для Apple Silicon запускает подготовленный профиль чистого проекта. Установка и проверка доверия описаны отдельно.
Описание профиляmacOS · Нативные инструменты
Профиль 0.5.57 соединяет подготовленный проект с явно подтверждённым вызовом нативного инструмента. Границы и порядок подтверждения документированы.
Описание профиляWebAssembly · Чистые проекты
Реактор 0.5.57 запускает модульные чистые программы через фиксированный интерфейс Wasm. У этого профиля нет доступа к файлам, сети и внешним действиям.
Описание профиляПодключённые сервисы
SDK и запускающая среда охватывают сервисы, регистрацию инструментов, выбранную память и сохранение работы. Исходники реализации остаются закрытыми.
Описание профиляСвязанное приложение уже прошло прикладной прогон
Документированный пример соединяет модули проекта, выбранную память, медиа, типизированные инструменты, решения владельца и очередь сервиса. Установленный профиль выполнил пять бизнес-заданий в одном непрерывном процессе: четыре синтетических запроса, количество 14, итог 182. Отдельные случаи проверяют квоты, отмену, восстановление после сбоя и неизвестный исход. У каждой такой проверки есть собственные границы и критерии.
Описание профиляRESEARCH / 21.10.2026 / MINIMAX M3.1 FLASH
Сравнение на одинаковых заданиях
Я проверил, как MiniMax M3.1 Flash понимает существующий синтетический код и делает структурированную правку на SOLONCODE, JavaScript и Python. Завершённый пилот от 21 октября 2026: шесть заданий, два фиксированных повтора и 12 запланированных эпизодов на язык.
36 завершённых эпизодов56 сохранённых попытокВсе попытки учтены
SOLONCODE6 / 12
JavaScript8 / 12
Python6 / 12
Успех требует правильных фактов о прежней программе, трёх публичных примеров и двенадцати скрытых проверок. На эпизод допускалось одно исправление по публичной обратной связи.
Что показал этот пилот
SOLONCODE решил 6 из 12 эпизодов, JavaScript — 8, Python — 6. На успешный эпизод пришлось 26 437, 23 099 и 27 905 токенов соответственно. По этому показателю SOLONCODE затратил примерно на 14,5% больше JavaScript и на 5,3% меньше Python. Общее преимущество в этой серии не установлено.
Критерий был задан заранее: все три языка должны решить 12/12 эпизодов при полном учёте токенов; отношение расхода и верхняя 97,5%-я граница task-bootstrap должны быть не выше 0,90 против каждого контроля. Этот критерий не выполнен.
Полное сравнение
| Полное сравнение | SOLONCODE | JavaScript | Python |
|---|---|---|---|
| Успехи / запланировано | 6 / 12 | 8 / 12 | 6 / 12 |
| Успехи с первого ответа | 4 | 5 | 4 |
| Попытки / исправления | 19 / 7 | 18 / 6 | 19 / 7 |
| Входные токены | 33 599 | 41 859 | 44 055 |
| Сгенерированные токены | 125 023 | 142 930 | 123 373 |
| Всего токенов | 158 622 | 184 789 | 167 428 |
| Токены на успешный эпизод | 26 437.0 | 23 098.6 | 27 904.7 |
| Ошибки схемы ответа | 10 | 8 | 11 |
| Передано проверке программы | 9 | 10 | 8 |
| Медиана времени эпизода, с | 85.156 | 124.171 | 76.451 |
Все шесть заданий
Успешные эпизоды из двух повторов. Ни одно задание не исключено из сравнения.
| Задание | SOLONCODE | JavaScript | Python |
|---|---|---|---|
| T01 | 2 / 2 | 1 / 2 | 2 / 2 |
| T02 | 1 / 2 | 2 / 2 | 1 / 2 |
| T03 | 1 / 2 | 2 / 2 | 1 / 2 |
| T04 | 1 / 2 | 2 / 2 | 1 / 2 |
| T05 | 0 / 2 | 0 / 2 | 0 / 2 |
| T06 | 1 / 2 | 1 / 2 | 1 / 2 |
Что помогают понять неудачи
29 из 56 ответов не прошли требуемую схему правки; 27 дошли до проверки программы. Естественное завершение ответа отличается от корректного формата и правильной программы. В T05 все языки в финальном ответе прошли примеры нового патча, но ошиблись в понимании прежнего кода: все шесть эпизодов остаются неуспешными.
В каких границах читать результат
- Одна модель, шесть выбранных задач и два повтора: результат автоматически не переносится на другие модели и проекты.
- Измерялись понимание кода и ограниченный сценарий правки, а не скорость исполнения языка или полный бюджет автономного агента.
- Все 56 ответов завершились естественно. Скрытые проверки не передавались модели как обратная связь.
- Фактический счёт провайдера и отдельное число reasoning-токенов неизвестны. Время описательное, с учётом сохранения и проверок.