Articles
-
Reflections on the Turing machine and the causes of errors in programming languages
Saturday, November 15, 2025 in Theory of computation
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). …
-
Programming language guarantees as a basis for secure software development
Monday, November 10, 2025 in Software safety
Errors in composing programs for computers appeared even earlier than the very first programming languages were invented. Actually, programming languages were invented precisely so that programs would be written more simply, and the number of errors …
-
The ambiguous term "artificial intelligence"
Tuesday, June 25, 2024 in AI and IT processes
Lately it seems everyone is talking about the successes of artificial intelligence (AI), often meaning by this yet another achievement in the field of generative neural networks. And as usual, some make money on the hype, others crave the appearance …
-
Building blocks of programming languages
Friday, May 03, 2024 in Programming language design
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 …
-
A possible solution to the problem of references in programming languages
Tuesday, April 23, 2024 in Programming language design
Any programmer is familiar with the notion of a “reference”. This term usually means a small object whose main task is to provide access to another object physically located elsewhere. Because of this, references are convenient to use, …
-
Reflections on structured programming
Sunday, December 31, 2023 in Theory of computation
31 Dec 2023 at 11:53 Initially I wanted to title the article in some provocative way, for example, “How science can turn into religion”, “Trapped in the distortions of the meaning of structured programming” or “What you …
-
NewLang v0.4.0
Tuesday, June 06, 2023 in Releases
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 …
-
Nuances of developing a parser for your own programming language
Wednesday, March 29, 2023 in Compiler implementation
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 …
-
DSL (domain-specific language) implementation with macros
Wednesday, March 01, 2023 in Compiler implementation
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 …
-
NewLang v0.3.0
Monday, November 07, 2022 in Releases
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 …