Remix.run Logo
echelon 10 hours ago

Rust is the final language.

Defect free. Immaculate types. Safe. Ergonomic. Beautiful to read.

AI is going to be writing a lot of Rust.

The final arguments of "rust is hard to write" are going to quiet down. This makes it even more accessible.

JoshTriplett 4 hours ago | parent | next [-]

> Rust is the final language.

> Defect free.

I am an upstream developer on the Rust Project (lang, library, cargo, others), and obviously a big fan of Rust. This kind of advocacy doesn't help us, and in fact makes our jobs harder, because for some people this kind of advocacy is their main experience of people they assume are representative of Rust. Please take it down a notch.

I think Rust is the best available language for many kinds of problems. Not yet all, but we're always improving it to try to work for more people. It gets better over time. I'd certainly never call it, or almost any other software, "defect free".

And I'd never call it "the final language"; we're building it to last the test of time, and we hope things like the edition system mean that the successor to Rust is a future version of Rust, but things can always change, and we're not the only source of great ideas.

If you genuinely care about Rust, please adjust your advocacy of Rust to avoid hurting Rust and generating negative perceptions of Rust.

josephg an hour ago | parent | next [-]

I’d also add: as a lover of forward progress, I really hope rust isn’t the last good idea programming language designers have. I love rust. But there are dozens of things I find a bit frustrating. Unfortunately I don’t think I’m clever & motivated enough to write a whole new language to try to improve it. But I really hope someone else is!

For a taste: I wish we didn’t need lifetime annotations, somehow. I wish rust had first class support for self borrows, possibly via explicit syntax indicating that a variable is borrowed, and thus pinned. Unpin breaks my brain, and I wish there were ways to do pin projections without getting a PhD first. I wish for async streams. I wish async executors were in std, and didn’t take so long to compile. I could go on and on.

I feel like there’s an even simpler & more beautiful language hiding inside rust. I can’t quite see it. But I really hope someone else can bring it into the world some day.

jacquesm 3 hours ago | parent | prev | next [-]

Thank you, thank you, thank you.

estebank 3 hours ago | parent | prev [-]

As a member of t-compiler, seconded.

tmtvl 9 hours ago | parent | prev | next [-]

> Beautiful to read.

Oh my, there's a new language called Rust? Didn't they know there already is one? The old one is so popular that I can't imagine the nicely readable one to gain any traction whatsoever (even if the old one is an assault on the senses).

lproven 9 hours ago | parent | prev | next [-]

> Rust is the final language.

I honestly can't tell if this is a humorous attack or not.

Poe's law is validated once again.

echelon 9 hours ago | parent [-]

It's honest. If we can serialize our ideas to any language for durability, Rust is the way to go.

It's not the best tool for the job for a lot of things, but if the LLMs make writing it as fast as anything else - whelp, I can't see any reason not to do it in Rust.

If you get any language outputs "for free", Rust is the way to go.

I've been using Claude to go ridiculously fast in Rust recently. In the pre-LLM years I wrote a lot of Rust, but it definitely was a slow to author language. Claude helps me produce it as fast as I can think. I spend most of my time reviewing the code and making small fixes and refactors. It's great.

hathawsh 5 hours ago | parent | next [-]

While Rust is excellent, you must acknowledge that Rust has issues with compilation time. It also has a steep learning curve (especially around lifetimes.) It's much too early to say Rust is the "final" language, especially since AI is driving a huge shift in thinking right now.

I used to think that I would never write C code again, but when I decided recently to build something that would run on ESP32 chips, I realized there wasn't any good reason for me to use Rust yet. ESP-IDF is built on C and I can write C code just fine. C compiles quickly, it's a very simple language on the surface, and as long as you minimize the use of dynamic memory allocation and other pitfalls, it's reliable.

0x457 4 hours ago | parent [-]

If you're programming for ESP, then embassy is the way to go in most cases. You don't need to learn much about lifetimes in most of the application code. Steep learning curve people refer it is "thing blow up at compile time vs runtime." It's easy to write JS or C that passes all tests and compiles and then wonderful blows up when you start using it. It just forces you to learn things you need to know at IMO right now.

My biggest problem with rust right now is enormous target/ dirs.

JoshTriplett 3 hours ago | parent [-]

> My biggest problem with rust right now is enormous target/ dirs.

We're working on that and it should get better soonish. We're working on shared caches, as well as pruning of old cached builds of dependencies that are unlikely to be reused in a future build.

tvshtr 2 minutes ago | parent [-]

thanks beejesus! (aka the devs) I'm tired of forcing shit into workspaces just to slightly mitigate these issues

sdkfjhdsjk 8 hours ago | parent | prev | next [-]

[dead]

klsdjfdlkfjsd 8 hours ago | parent | prev | next [-]

I'll just stick with C as my lingua franca, and won't be involving Microsoft in my programming life, thanks.

tcfhgj 7 hours ago | parent | next [-]

are you implying that using Rust involves using MS products?

klsdjfdlkfjsd 4 hours ago | parent [-]

[flagged]

drdeca 4 hours ago | parent | next [-]

Anthropic? ChatGPT is the one affiliated with Microsoft.

robjellinghaus 4 hours ago | parent | prev | next [-]

Not Microsoft.

DANmode 4 hours ago | parent | prev [-]

You’re thinking of OpenAI and ChatGPT, which has a (now-rocky) partnership with Microsoft.

Claude is an Anthropic offering.

klsdjfdlkfjsd 4 hours ago | parent [-]

[flagged]

6 hours ago | parent | prev [-]
[deleted]
jibal 6 hours ago | parent | prev [-]

> It's honest.

It's not, nor is it well informed. People are currently developing languages specifically for use by LLMs.

> It's not the best tool for the job for a lot of things

Then how could it possibly be the final language?

> if the LLMs make writing it as fast as anything else - whelp, I can't see any reason not to do it in Rust

This has nothing to do with the claim that it's the final language.

dontblokmebro70 4 hours ago | parent [-]

[flagged]

the__alchemist 7 hours ago | parent | prev | next [-]

I would say it's overall the best existing language, probably due to learning from past mistakes. On the whole it wins via the pro/con sum. But ... Still loads of room for improvement! Far from a perfect lang; just edges out the existing alternatives by a bit.

johnebgd 7 hours ago | parent | prev | next [-]

Sometimes I forget programming languages aren't a religion, and then I see someone post stuff like this. Programming languages really do inspire some of us to feel differently.

vovavili 4 hours ago | parent | prev | next [-]

I'd say that it's taking much needed steps to achieve perfection but many more steps are there ahead. The next language closer to perfection would definitely have a much gentler introduction curve, among other things.

DANmode 4 hours ago | parent [-]

Which coding assistant do you think needs a gentle introduction curve?

tekne 9 hours ago | parent | prev | next [-]

Needs monads (not joking)

ikety 8 hours ago | parent | prev | next [-]

Why not go full functional programming at that point? If the main issue with FP has been accessibility, then it should really take off now.

zozbot234 8 hours ago | parent | next [-]

When you do fully value-oriented programming in Rust (i.e. no interior mutability involved) that's essentially functional programming. There's mutable, ephemeral data involved, but it's always confined to a single well-defined context and never escapes from it. You can even have most of your code base be sans-IO, which is the exact same pattern you'd use in Haskell.

theLiminator 35 minutes ago | parent [-]

I actually like rust more than Haskell, but `You can even have most of your code base be sans-IO, which is the exact same pattern you'd use in Haskell.` glosses over the fact that in Haskell it's enforced at compile time.

tehnub 6 hours ago | parent | prev | next [-]

I wouldn’t because idiomatic Haskell is way slower than idiomatic Rust.

4 hours ago | parent [-]
[deleted]
jimbokun 7 hours ago | parent | prev [-]

Isn’t Rust a pretty good functional language? It has most of the features that enable safe, correct code without being anal about immutability and laziness that make performance difficult to predict.

wolvesechoes 8 hours ago | parent | prev | next [-]

[flagged]

basch 2 hours ago | parent | prev [-]

Rust may be the darling of the moment, but Erlang is oft slept on.

As AI makes human-readable syntax less relevant, the Erlang/Elixir BEAM virtual machine is an ideal compilation target because its "let it crash" isolated process model provides system-level fault tolerance against AI logic errors, arguably more valuable than Rust’s strict memory safety.

The native Actor Model simplifies massive concurrency by eliminating shared state and the complex thread management. BEAM's hot code swapping capability also enables a continuous deployment where an AI can dynamically rewrite and inject optimized functions directly into live applications with zero downtime.

Imagine a future where an LLM is constantly monitoring server performance, profiling execution times, and dynamically rewriting sub-optimal functions in real-time. With Rust, every optimization requires a recompile and a deployment cycle that interrupts the system.

Finally, Erlang's functional immutability makes deterministic AI reasoning easier, while its built-in clustering replaces complex external infrastructure, making it a resilient platform suited for automated iteration.