Hacker News new | ask | show | jobs
by pjmlp 54 days ago
Exactly, and that is why after Rust's break into mainstream, several garbage collected languages are trying to mix advanced type systems with their approach to garbage collection (GC, RC, a mix of both, whatever).

This is also not strange for those in the Rust community with type systems experience, hence the Roadmap 2026 proposals for a more ergonomic experience.

Thus we have Linear Haskell, Swift 6 ownership, D ownership, Koka, Hylo, Chapel, OxCaml, Scala Capabilities, Ada/SPARK proofs, Idris, F*, Dafny,....
1 comments
Darmani 54 days ago
Interesting. But when I search `"roadmap 2026" rust`, I only get results for the video game.

Am familiar with Linear Haskell (and actually went on a walk through Tokyo with one of the authors just a few months ago). IIRC: still no resources allocated to add the things that would actually make it useful. Had not been aware of most of those, except the dependently-typed ones. Cool to know about the others. Yay linear types becoming known.

You seem interesting, and I'm curious about your background now. All I can find so far is that you're from Europe and used to lead C++ in some major corporation.

link
pjmlp 54 days ago
I wish, I got the luck to do some C++ at CERN and Nokia Networks, but nothing out of the ordinary.

Just happen to be a nerd with interests across systems programming, languages, graphics, that rather reads books and papers than watching dull TV shows.

Day job is boring enterprise consulting across the usual stacks you might imagine.

Here is the roadmap.

https://rust-lang.github.io/rust-project-goals/2026/goals.ht...

link
Darmani 53 days ago
Sounds like a fun life :)

Have found in that roadmap things that would help me personally like making async functions dyn-compatible. Have not found the deeper stuff I thought you were hinting at.

Last year, I wanted to use the 5- line Result.flatten function, abs then found it had been stuck in experimental....for 5 years. That left me with no confidence of the language's dev velocity.

link
sn9 53 days ago
To disambiguate search results in the future, I've had great luck appending "lang" like so: "roadmap 2026 rust lang".
link