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

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

[lxe]

из Баха или Моцарта в рэгги

Не наоборот?

[vak]

Да хоть и наоборот, без разницы. За нотами стоит некая музыкальная концепция. Она не имеет формального описания. И не может иметь, слишком общая вещь.

То же самое и с софтом.

[juan_gandhi]

Или наоборот, я б предположил.

[spamsink]

За ними не заржавеет, пардон за каламбур. Сколько лет Аде, а на неё с Си почему-то переписывать не озаботились.

[vak]

Пришло новое поколение менеджеров проектов, без адекватного представления об устройстве софта. 😀

[krivye_ru4ki]

https://www.youtube.com/watch?v=CthnrsU53LI - прям как эти чуваки из Margin Call))

[sobriquet9]

Почему бы и нет. Фортран, например, в С переделать есть несколько способов, C/C++ можно даже в браузере запускать.

[vak]

Видимо, чуваки и остались где-то на уровне Фортрана.

[mopexod]

Это был бы удивительный проект, учитывая растовские референсы, с которыми даже связный список написать непросто.
Я понимаю, что очень-очень хочется, но выглядит совершенно утопично.

[vak]

Путь для начала что-нибудь простое переделают с Си на Rust формальным преобразованием. Хоть /bin/echo к примеру.

[chabapok]

а 'ls' не устроит? https://github.com/Truthixify/rust-ls
или

https://github.com/maxdesalle/ls

я не знаю, почему они все ринулись ls переписывать

[vak]

Но это ведь реализации ls, написанные с нуля, верно?
А вовсе не преобразованием Си-шного кода.

[chabapok]

наверное с нуля

[pechkin]

Переделать нетрудно, говорит мне мой сын-музыкант. Но, говорит, это дрянь получится. Много работы напильником потом.

[vak]

Что в музыке слышится как дрянь - в мире софта означает, что работать не будет.

[pechkin]

На всякую музыкальную дрянь найдется где-нибудь ценитель. Это мой опыт подсказывает. Так что, даже продать такой софт можно.

В смысле: как музыка работает, мы не понимаем, строго говоря, не знаем, что она делает. Поэтому не можем сказать, что она точно этого делать не будет никогда. Может быть, где-то и когда-то будет. У софта тоже может быть больше предназначений, чем просто работать. И эти другие предназначения оно, может быть, будет выполнять. А просто работать - ну, да, я лично не хотел бы даже смотреть, как оно это будет делать.