Vlákno názorů k článku
Rust v jádře či základním systému NetBSD pravděpodobně nebude
od Marek - Existuje projekt který kompiluje z Rust do C....
-
Existuje projekt který kompiluje z Rust do C. Napíšete kód v Rust, zkontrolujte paměťovou bezpečnost Rust kompilerem, překompilujete do C, použijete běžný C kompiler. https://github.com/AeneasVerif/eurydice Jak moc je to funkční netuším.
-
panikaStříbrný podporovatelkdyby to slo vyresit statickou analyzou tak by to bylo super, ale ne :) (kdyby te zajimalo jak to vyresit pro C mrkni na fill-C, jo ma to hacek...)
