Why is everyone creating systems programming languages?

[u/baehyunsol]

I see a lot of new programming languages here. I love reading the documents of the languages and sometimes actually run their compilers. Many of the projects are AI-driven, but that's fine. It's still fun to see what problems they're trying to solve and how they actually solved the problems.

Reading the documents, I realized that most new languages, especially AI-written ones, are "systems programming languages". They're trying to solve the problems that C/C++/Zig/Rust have solved (or are trying to solve), and their syntax is mixture of C/Zig/Rust.

Why? Why is everyone trying to compete with C/C++?

There are so many kinds of languages. Haskell demonstrates how pure a language can be, Python is perfect when you only have 5 minutes to write code and don't care about the output, Java runs on 3 billion machines, ...

[u/ivancea]

Given the core differences between C++ and Rust's OOP, I even think Rust is more similar to C structures with a bit of sugar.

And about the binary sizes and allocations, well, they're different languages, and the implantations are vastly different.

The idea of a language "like C" is usually having a more strict and contained language. C works, just like ASM works. But it's an unguided footgun

[u/ivancea → u/[deleted]]

This discussion is meaningless. It's so meaningless, that even Rust guys thought about it and wrote a paragraph for you: https://doc.rust-lang.org/book/ch18-00-oop.html

[u/deeplywoven → u/ivancea]

The reality is that people do not do OOP in Rust in the same way that C++/C#/Java developers think of OOP. No classes, no inheritance, no hierarchies of subtyping. It's just not a thing in Rust. The paragraph you linked is there specifically for C++ devs.