TRACTOR: Translate All C To Rust

[vak]

У нас тут большие дяди обеспокоились надёжностью софта и понукают программистов всё переписать. Мало того, разработать автоматический конвертер исходных текстов из Си в Rust.

darpa.mil/program/translating-all-c-to-rust

Вот ведь наивные чуваки. Это как автоматически переделать нотную запись из Баха или Моцарта в рэгги. 😀

Вопросы и ответы: TRACTOR Q&A v21.pdf

Comments

[dijifi]

За деньги DARPA — любой каприз!

https://youtu.be/QcAB69GUZd4

[vak]

Для талантливого музыканта нет препятствий. 😀

https://youtu.be/wTrJ1mWach0

Однако ж формальным преобразованием оно не делается.