Rue: Higher level than Rust, lower level than Go

Re:Rue: Higher level than Rust, lower level than Go by torginus on Monday December 22, 2025 @04:48AM (#46352682)

Could you please explain what this implies in layman's terms? I've read the definition of 'linear type' as a type that must be used exactly once, and by 'mutable value semantics', I assume, that unlike Rust, multiple mutable borrows are allowed?

What's the practical implication of this - how does a Rue program differ from a Rust program? Does your method accept more valid programs than the borrow checker does?

[ Parent | on HN ]

Re:Rue: Higher level than Rust, lower level than Go by steveklabnik on Monday December 22, 2025 @08:34AM (#46353987)

I’m on my phone on a long road trip, so I can’t really give you a good lengthy explanation right now, to be honest.

Mutable value semantics means no references at all, from a certain perspective.

You can sort of think of linear types as RAII where you must explicitly drop. Sorta.

“More programs” isn’t really the right way to think about it. Different semantics, so different programs :)

[ Parent | on HN ]