Investing in Rust

Re:Investing in Rust by diffxx on Saturday July 20, 2024 @06:09PM (#41020447)

I support the push towards memory safe languages but emphasizing Rust in the way this paper does seems misguided. It creates a false dichotomy between c style languages without safety guarantees and Rust as though there are no other alternatives. There are other approaches and models that can also achieve bare metal performance for many problems without taking in all of the complexity of Rust. Moreover, we will never settle on one language to rule them all (and if we do I am 100% sure it will not be Rust), so we should be emphasizing approaches to mitigating vulnerabilities rather than prescribing a particular tool.

[ Parent | on HN ]

Re:Investing in Rust by mmoskal on Saturday July 20, 2024 @06:20PM (#41020542)

Which alternatives exactly? Mainstream languages like Go and Swift use a GC and don't allow the same level of control over memory layout.

There are probably some reasons Rust is only non-C language to get into Linux kernel.

[ Parent | on HN ]

[dead]

Re:Investing in Rust by super_flanker on Sunday July 21, 2024 @01:19AM (#41022571)

Reference Counting is a type of GC.

[ Parent | on HN ]

Re:Investing in Rust by bdjsiqoocwk on Sunday July 21, 2024 @01:39AM (#41022685)

Stop using words you don't understand, it's dishonest.

[ Parent | on HN ]

Re:Investing in Rust by _orz_ on Sunday July 21, 2024 @04:05AM (#41023364)

Sorry? So obviously with GC one means managed GC. Otherwise the comment above doesn’t make any sense at all since then Rust itself would use GC because it also supports reference counting.

Strictly speaking you could obviously say reference counting is a form of GC. So to avoid GC you then surely recommend people to use C since that, in contrast to Rust, Swift, C++ and many others, really doesn’t use any GC, neither managed nor reference counting based.

[ Parent | on HN ]

Re:Investing in Rust by sshine on Sunday July 21, 2024 @04:39AM (#41023487)

Reference counting is a form of GC. Saying Swift, or Perl, are not GC’ed would be misleading.

In Rust, reference counting is opt-in for individual objects. It is a necessity for any powerful, low-level language to be able to implement any high-level feature.

You can, after all, also implement reference counting in C.

To avoid GC, you need a language where it’s opt-in. For example C++ or Zig, but not OCaml.

[ Parent | on HN ]

Re:Investing in Rust by bdjsiqoocwk on Sunday July 21, 2024 @01:38AM (#41022678)

C++ also got into the Linux kernel at some point in the past, it just failed to stay there. Let's see how it fares for Rust.

[ Parent | on HN ]

Re:Investing in Rust by nequo on Sunday July 21, 2024 @01:12PM (#41026476)

Do you have any sources on when this happened and in which part of the kernel? My search has turned up nothing.

I assume LWN or some other Linux adjacent news outlet should have written something about it.

[ Parent | on HN ]