Overview 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.

Status and plans

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

Implemented in the current version (0.6.0)

The syntax concept has been developed
The macro syntax has been defined
Parser and literals for basic data types
The concept of language guarantees has been formulated
The playground for testing examples has been developed

An unusual concept of the syntax of a programming language

Mon, 24 May 2021 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.

I want to present to the readers’ discussion a somewhat unusual concept of a programming language, which lacks the problem inherent in almost all industrial languages — the constant increase in the complexity of the language syntax due to its natural development as new versions are released and new features are added. This problem is described in the article “Simple complex programming” and What is the “ideal” goal of the development of programming languages?