Trust-Lang on TrustLang

О проекте

Mon, 01 Jan 0001 00:00:00 +0000

TrustLang — язык программирования, который транслируется в C++ и собирается внешним компилятором. Ключевые свойства модели:

Грамматика на правилах, а не на ключевых словах — простой однопроходный парсер и расширяемость; привычная запись с ключевыми словами реализуется макросами (Синтаксис, Макросы).
Безопасная модель памяти без сборщика мусора — RAII, сильные/слабые ссылки, запрет сильных циклических ссылок, защита стека (Безопасность и качество).
C/C++ — интеграция «первого класса» — нативные типы/функции/классы и шаблоны, embed-вставки, линковка; учитывается в каждом контексте (Типы).
Гибкая типизация и вывод типов — статическая и динамическая, автоматический вывод (Типы).
Контракты и верификация — пред-/пост-условия и утверждения проверяются SMT-решателем (Z3) (Верификация).
Запуск как у скриптов — файл с шебангом #!.../trust --run запускается напрямую, как Python-скрипт, но с полной компиляцией: транспиляция в C++, сборка и запуск бинарника происходят автоматически, интерпретатор не нужен.

Статьи

Mon, 01 Jan 0001 00:00:00 +0000

Гарантии и безопасность

Mon, 01 Jan 0001 00:00:00 +0000

Раздел объединяет возможности TrustLang, которые отвечают за безопасность и качество программ: безопасное управление памятью, защиту от гонок данных, контроль корректности на этапе компиляции и формальную верификацию.

Каждая возможность описана подробно ровно в одном месте (страница-источник) и лишь упоминается здесь с выжимкой и ссылкой. Подробные перечни опций/диагностик не дублируются — их источник в справке инструмента (trust --help, trust -Whelp, LSP-ховеры).

Возможности раздела

Возможность	Кратко	Подробно (источник)
Безопасное управление памятью без GC	RAII, сильные/слабые ссылки, запрет сильных циклических ссылок, защита стека от переполнения	Память
Защита от гонок и синхронизация доступа	Автоматическая межпотоковая синхронизация при обращении к разделяемым данным	Память
Контрактное программирование	Пред-/пост-условия и утверждения (`trust_pre`/`trust_post`/`trust_assert`)	Верификация
Формальная верификация (SMT)	Авто-выполнение Z3 по контрактам, инварианты циклов, кванторы	Верификация
Статическая типизация и контроль приведения	Номинальная проверка типов на этапе компиляции; сужение с контролем диапазона	Система типов
Диапазонные проверки чисел	Ошибка при выходе за диапазон типа, а не молчаливое переполнение	Числа
Контроль целочисленного переполнения	Встроен и включён по умолчанию: переполнение знаковой арифметики (UB в C++) → перехватываемое `IntMinus`	Числа
Защита стека от переполнения (stack check)	Переполнение стека → перехватываемое исключение `stack_overflow`, а не segfault	stack_check
Контроль инвалидации ссылок (borrowed)	Запрет использования зависимых ссылок после мутации источника (висячие ссылки)	invalidation

Модель безопасной памяти портирована на C++ в отдельный проект memsafe.

TrustLang v0.6.0

Wed, 23 Sep 2026 00:00:00 +0000

О версии 0.6.0

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

NewLang v0.4.0

Tue, 06 Jun 2023 00:00:00 +0000

Новые возможности и изменения в синтаксисе NewLang

Переработано определение типов объектов с помощью префикса имен (сигила)
Прерывание потока выполнения и возврат теперь может выполняться для именованных блоков кода.
Упрощен синтаксис импорта нативных переменных и функций (С/С++)
Стабилизирован синтаксис для заполнение начальными данными значений тензоров, словарей и аргументов при вызове функций.
Появились встроенные макросы для написания кода с использованием ключевых слов в стиле DSL

Новые возможности компилятора (nlc)

Полностью переделан макропроцессор.
Переработана архитектура компилятора с разделением на парсер, макропроцессор, синтаксический анализатор, интерпретатор и генератор кода.

Разное

Сайт с документацией переведен на Hugo и сделан двуязычным.
Вместо бинарных сборок на сайт добавлен раздел Playground and example code для небольших экспериментов.
Выполнен переход на clang-16 (переход на clang-17 и старше планируется после полной реализации корутин и поддержки расширенных форматов чисел с плавающей запятой).
Количество контрибуторов проекта стало больше одного!

NewLang v0.3.0

Mon, 07 Nov 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

NewLang - это язык программирования высокого уровня общего назначения. Основной особенностью языка является простой, логичный и не противоречивый синтаксис, который основан на строгой системе грамматических правил. За счет использования макросов, синтаксис языка легко расширяется до более привычного вида на основе ключевых слов.

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

NewLang v0.2.0

Fri, 12 Aug 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

NewLang - это язык программирования высокого уровня в котором можно сочетать стандартные алгоритмические конструкции с декларативным программированием и тензорными вычислениями для задач машинного обучения.

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

NewLang v0.1.0

Fri, 24 Jun 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

Новый язык программирования

Fri, 18 Feb 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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