Live data from Hacker News

Microsoft is creating a new Rust-based programming language for secure coding

zdnet.com

11–20 of 207 posts

Re: Microsoft is creating a new Rust-based programming language for secure coding

#11
post #5

What does "Rust-based" even mean? Inspired by Rust? Does it transpile to Rust or something? Very confusing phrasing to me...

Historically it means they would start with Rust and then add in just enough Windows proprietary stuff to make it not run on any other platform.

Re: Microsoft is creating a new Rust-based programming language for secure coding

#14

This slideshow is pretty interesting (in particular slide 14): https://www.slideshare.net/KTNUK/digital-security-by-design-... Talks about sandboxing C/C++ libraries that interact with Rust. Kinda make a safe unsafe sandbox Rust interface ("less unsafe?") if I understand it correctly (I likely don't). The actual linked article is all over the place, I cannot make heads or tails of it and seems to be conflating multip…

> The actual linked article is all over the place, I cannot make heads or tails of it and seems to be conflating multiple security issues/mitigations together into a mish mash.

Typical ZDNet.

Re: Microsoft is creating a new Rust-based programming language for secure coding

#16
post #5

What does "Rust-based" even mean? Inspired by Rust? Does it transpile to Rust or something? Very confusing phrasing to me...

It's probably what they did with C#, starting from Java. I don't think there will be any compatibility, only high level similarity.

Re: Microsoft is creating a new Rust-based programming language for secure coding

#18
post #16
post #5

What does "Rust-based" even mean? Inspired by Rust? Does it transpile to Rust or something? Very confusing phrasing to me...

It's probably what they did with C#, starting from Java. I don't think there will be any compatibility, only high level similarity.

Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.

Re: Microsoft is creating a new Rust-based programming language for secure coding

#19
post #5

What does "Rust-based" even mean? Inspired by Rust? Does it transpile to Rust or something? Very confusing phrasing to me...

On the road to R# I guess.

I guess shipping Windows API cargo crates makes too much sense. Does anyone have any context for gaps in Rust they are addressing?

In TFA it mentions that ownership will be based on groups of objects, but I’m not sure I understand what this solves that a struct doesn’t.

Re: Microsoft is creating a new Rust-based programming language for secure coding

#20

Oh no, I bet it's gonna be a C# flavored Rust. None of Rust's terse syntax and functional influence. It's going to be full-blown Java-style OOP with plenty of Wnd handles to be thrown around. Yikes, I certainly hope I am not right.

Why not a F# flavored Rust?

> plenty of Wnd handles to be thrown around

That is not really a language issue, is it?

Post reply on HN