Trust-Lang on TrustLang

About the project

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

TrustLang is a programming language that is transpiled to C++ and built by an external compiler. The key properties of the model:

Rule-based grammar, not keyword-based — a simple single-pass parser and extensibility; the usual keyword-based notation is implemented by macros (Syntax, Macros).
Safe memory model without a garbage collector — RAII, strong/weak references, prohibition of strong cyclic references, stack protection (Safety and quality).
C/C++ — first-class integration — native types/functions/classes and templates, embed inserts, linking; taken into account in every context (Types).
Flexible typing and type inference — static and dynamic, automatic inference (Types).
Contracts and verification — pre/postconditions and assertions are checked by an SMT solver (Z3) (Verification).
Script-like launch — a file with the shebang #!.../trust --run runs directly, like a Python script, but with full compilation: transpilation to C++, build and launch of the binary happen automatically, no interpreter is needed.

Articles

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

Guarantees and safety

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

This section brings together the TrustLang capabilities that are responsible for the safety and quality of programs: safe memory management, protection from data races, correctness control at compile time and formal verification.

Each capability is described in detail in exactly one place (the source page) and is only mentioned here with a summary and a link. Detailed lists of options/diagnostics are not duplicated — their source is the tool’s help (trust --help, trust -Whelp, LSP hovers).

TrustLang v0.6.0

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

About version 0.6.0

Version 0.6.0 is a formalization stage: the language syntax and core algorithmic constructs are fixed, along with basic types and safety checks. It is also a prototype of the transpiler architecture and tooling (compiler, language server, debugger) plus a browser playground for running examples. This is a proof of concept rather than a stable release: full alignment of the content with the implementation comes in the next version.

NewLang v0.4.0

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

New features and changes in the NewLang syntax

Reworked the definition of object types using the prefix naming (sigil)
Interrupting the execution flow and returning can now be done for named code blocks.
Simplified the syntax for importing native variables and functions (C/C++)
Stabilized the syntax for initializing with initial data the values of tensors, dictionaries and arguments in function calls.
Added built-in macros for writing code using keywords in a DSL style

New compiler features (nlc)

The macro processor has been completely redesigned.
Reworked the compiler architecture with division into parser, macro processor, syntax analyzer, interpreter and code generator.

Miscellaneous

The documentation website has been ported to Hugo and made bilingual.
Instead of binary builds, the section Playground and example code has been added to the site for small experiments.
Migrated to clang-16 (the transition to clang-17 and newer is planned after the full implementation of coroutines and support for extended floating-point formats).
The number of project contributors has become more than one!

NewLang v0.3.0

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

Attention!!!

This article contains a description of the syntax of the previous version of NewLang.

The current version of the language syntax can be viewed here.

NewLang is a high-level general-purpose programming language. The main feature of the language is a simple, logical and non-contradictory syntax, which is based on a strict system of grammar rules. Through the use of macros, the syntax of the language is easily extended to a more familiar keyword-based form.

NewLang v0.2.0

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

Attention!!!

This article contains a description of the syntax of the previous version of NewLang.

The current version of the language syntax can be viewed here.

NewLang is a high-level programming language in which one can combine standard algorithmic constructs with declarative programming and tensor computations for machine learning tasks.

The main feature of the language is a simple, logical and non-contradictory syntax, which is based not on the use of reserved keywords, but on a strict system of grammar rules using punctuation marks (the list of which also includes the operators of the language).

NewLang v0.1.0

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

Attention!!!

This article contains a description of the syntax of the previous version of NewLang.

The current version of the language syntax can be viewed here.

NewLang is a high-level programming language in which one can combine standard algorithmic constructs with declarative programming and tensor computations for machine learning tasks.

A new programming language

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

Attention!!!

This article contains a description of the syntax of the previous version of NewLang.

The current version of the language syntax can be viewed here.

More than a year ago I began publishing articles describing the features of a new programming language. Much water has flowed under the bridge since then, many ideas were tested, in the end everything changed radically several times, and now I present to the readers a description of the pre-final version of the language and its features.