<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mcc</span></a></span> In general, though: you're 1000% correct. Compilers and programming languages that aren't VHDL or some shit should be about communicating semantics, with well-defined boundaries and predictable outcomes. That makes it easy to optimize for, which is something Rust does really well in ways C and C++ and Zig and Odin and etc. completely flub the ball on.</p><p>There's some other factors too but that's the core of it.</p>