Compiler on TrustLang

Compiler implementation

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

The Achilles' heel of C++ and the future r̶e̶ evolution

Fri, 10 Apr 2026 00:00:00 +0000

Recently I published an opinion about a fundamental economic model of software development that does not contribute (and objectively should not contribute) to a mass transition from C/C++ to “safe” programming languages The economics of code safety, or why Rust is not needed.

But to remain honest with the readers, I decided to also publish a counter-argument article describing the other side of the coin, that is, why C++ will still be replaced sooner or later, and at the same time to try to analyze what the new programming language that will inevitably replace C++ will look like.

Reflections on the Turing machine and the causes of errors in programming languages

Sat, 15 Nov 2025 00:00:00 +0000

A couple of years ago I wrote the article Reflections on structured programming, in which I tried to sort out the misconception that Edsger Dijkstra proved that any algorithm can be built from just three constructs (sequence, selection, loop). Whereas in reality:

This theorem was proved (with conditions and restrictions) by the Italian scientists Böhm and Jacopini, and Dijkstra merely referred to it.
The three mentioned basic algorithmic constructs are insufficient for modern programming (for example, exception handling is required).
The famous criticism of the goto statement by Dijkstra (as well as of the assignment statement, which is always forgotten to mention) was not a strict ban, but merely a recommendation for improving code style, so that programs would be easier to analyze.

And now the time has come to write about some problems of the Turing machine — the fundamental basis of all information technology.

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!).