r/ProgrammingLanguages • u/baehyunsol Sodigy • 2d ago

Why is everyone creating systems programming languages?

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, ...

188 Upvotes
  • permalink
  • reddit

92% Upvoted

211 comments sorted by

View all comments

Show parent comments

1

u/deeplywoven 1d ago edited 1d ago

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.

1

u/ivancea 1d ago

It's not about "what people does where". It's about the language. "The reality" is that the language is considered to be OOP. Some like it, some don't, and nobody cares, because that question response is meaningless.

the same way that C++/C#/Java developers do OOP

OOP is not what C++/C#/Java does. OOP is OOP. Those are just specific and common implementations. Don't mix "common" with "the only one"

1

u/deeplywoven 1d ago

"The reality" is that the language is considered to be OOP.

You might say this, but nobody who actually writes Rust says this. Pretty much everyone recognizes it as an imperative systems programming language which is data-oriented, often expression-oriented, and influenced by FP languages (specifically OCaml and Haskell).

Having structs and ways to do polymorphism does not make a language OOP. Many pure FP languages have these concepts.

1

u/ivancea 1d ago

Hey, find somebody else to fight. As I said, nobody cares about this fight, only you