Parser on TrustLang

If you think you know how "Expression" differs from "Statement", then most likely you are mistaken

Sun, 02 Aug 2026 00:00:00 +0000

I study the syntax of programming languages and try to separate fundamental regularities from historical accidents. One of such accidents is the almost ubiquitous use of the terms expression and statement when describing and classifying the syntax of programming languages.

Intuitively it seems that 2 + 2 and if (x) { foo(); } are completely different entities, but on a deeper analysis it turns out that such a separation is artificial and arose from the architectural features of computing machines almost half a century ago and since then simply “carries over” from language to language.

Building blocks of programming languages

Fri, 03 May 2024 00:00:00 +0000

As a result of the feedback on the article with reflections on structured programming, there were many comments and disputes in the comments, for which I want to say a big thank you to everyone.

And under the impression of the discussion of the previous article, I asked myself whether there exists a minimal set of lexemes, operators or syntactic constructs with the help of which one can build an arbitrary grammar for a modern general-purpose programming language?

Nuances of developing a parser for your own programming language

Wed, 29 Mar 2023 00:00:00 +0000

Recently I read an article on Habr, “My own language, or how I got tired of assembler and C”, and my eye involuntarily caught on one paragraph:

I decided not to bother too much, so I used the parglare library. It is very lightweight and convenient, I recommend it to everyone. To describe the syntax, the parser accepts a string in the corresponding format and uses regular expressions (do not judge regexes, they are omnipotent!).

DSL (domain-specific language) implementation with macros

Wed, 01 Mar 2023 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.

The release of the TrustLang language is approaching with a fundamentally new “feature”, a reworked version of the preprocessor that makes it possible to extend the syntax of the language to create various DSL dialects through macros.

And, as always, using the previously found lifehack Habr — a chamber of wisdom, I would like to get feedback from readers about the approach proposed below, which is planned to be implemented in the new TrustLang preprocessor.