https://trust-lang.net/en/tags/semantics/ Recent content in Semantics on TrustLang Hugo en Wed, 09 Sep 2026 15:37:53 +0300 https://trust-lang.net/en/blog/language-design/expression-statement/ Sun, 02 Aug 2026 00:00:00 +0000 https://trust-lang.net/en/blog/language-design/expression-statement/ <p>I study the <a href="https://trust-lang.net/en/blog/comparison/cpp-rust-vs-python/">syntax of programming languages</a> and try to separate fundamental regularities from historical accidents. One of such accidents is the almost ubiquitous use of the terms <strong>expression</strong> and <strong>statement</strong> when describing and classifying the syntax of programming languages.</p> <p>Intuitively it seems that <code>2 + 2</code> and <code>if (x) { foo(); }</code> 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 &ldquo;carries over&rdquo; from language to language.</p> https://trust-lang.net/en/blog/ai/wrong-term-ai/ Tue, 25 Jun 2024 00:00:00 +0000 https://trust-lang.net/en/blog/ai/wrong-term-ai/ <p>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 of <del>Sarah Connor</del> a real strong AI (which will conquer the world in the future), and someone is just once again raping a journalist.</p> <p>And there are very few who, when mentioning AI, try to explain what they themselves understand by the term &ldquo;artificial intelligence&rdquo;. After all, it is one thing to write about &ldquo;a field of tasks of the AI category&rdquo;, and quite another to endow an ordinary computer algorithm with at least the rudiments of reason.</p>