this post was submitted on 04 Aug 2024
50 points (96.3% liked)

Tech

464 readers
1 users here now

A community for high quality news and discussion around technological advancements and changes

Things that fit:

Things that don't fit

Community Wiki

founded 9 months ago
MODERATORS
Vacant@programming.dev
50
DARPA suggests turning legacy C code automatically into Rust • The Register (www.theregister.com)
submitted 3 months ago by sabreW4K3@lazysoci.al to c/tech@programming.dev
12 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] uservoid1@lemmy.world 21 points 3 months ago (11 children)

How are they going to tackle heavy use of the C preprocessor?

What about pointer arithmetic without decorating everything with "unsafe"? As the whole point is making the code safer.

[–] sukhmel@programming.dev 4 points 3 months ago (4 children)

~~you can just wrap a whole C code into a macro~~

yeah, preprocessor is going to blow everything, I forgot how good it is. Maybe there's a way by preprocessing and then leaving it as the code, but that wouldn't be as useful and configurable

[–] killingspark@feddit.org 1 points 3 months ago (3 children)

Rust also has powerful macros, are you sure that those can't mimic at least most uses of the preprocessor?

[–] sukhmel@programming.dev 2 points 3 months ago (1 children)

You're right, but:

  • Rust goes out of the way to make macro safer and less error-prone, which means it will not be able to cover exactly the same especially in some fringe hacky cases
  • I was commenting along the lines of automatically converting one into another, I find it will either be very difficult or outright impossible without human rewriting the macro from ground up (that is, if we know what problem it solved in the very beginning, otherwise it quickly would become guessing game)
[–] killingspark@feddit.org 1 points 3 months ago (1 children)

There is the project c2rust which is being used to transpile c projects to rust. I didn't find any mentions on restrictions in this regard but I obviously agree it's a complicated issue.

, which means it will not be able to cover exactly the same especially in some fringe hacky cases

I'm just not sure this is true. Maybe you and I just don't see that there is always an equivalent solution in rust macros even if it's going to be unconventional/unidiomatic use of rust macros?

[–] sukhmel@programming.dev 2 points 3 months ago

Maybe you and I just don't see that there is always an equivalent solution in rust macros even if it's going to be unconventional/unidiomatic use

Maybe so, but large part of where it will be impossible is reproducing bugs introduced by unsanitized macros in C /half joking

load more comments (1 replies)
load more comments (1 replies)
load more comments (7 replies)