Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation | Lobsters

5

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation rust dl.acm.org
via sanxiyn 7 months ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2

1. 2
  
  sanxiyn 7 months ago
  
  This seems to be a good and serious incremental step to DARPA TRACTOR(Translating All C to Rust) program.
2. 1
  
  kevinc 7 months ago
  
  “Don’t write, but return” sounds like the flip side of “Parse, don’t validate.”