[pjmlp]

Regardless of the article being AI generated or not, I would rather vote for automatic resource management, with type systems improvements for low level coding, regardless of the form, between affine, linear, effects, proofs, dependent types, there is plenty to choose from.

The note that Rust cannot fully replace C++ as long as it depends on using it for its key compiler backends.

Finally even if it is a bubble, AI driven programming is making specific languages irrelevant, eventually only AI language runtimes will need fine grained control how everything works, at the bottom layer.

Maybe the future is an AI language compiler generating machine code directly, with similar productivy as Xerox PARC workstations, Lisp Machines, or Bret Victor ideas.

[kjsingh]

> only AI language runtimes will need fine grained control how everything works

Rust can win against CPP if AI can understand its docs better than CPP's :D

[pjmlp]

Why when the end goal is to get machine code directly, or agents that act on their own?

Generating current programming languages is only a transition step, just like Assembly programmers were suspicious of the first optimizing compilers and expected multiple steps, having the compilers generating Assembly they could inspect, and only then run the Assembler on that.

We need to take the Alan Kay point of view, not what AI tools can do today, rather what they might look a few decades down the line.