C-rusted: The advantages of Rust, in C, without the disadvantages

Source: Hacker News

Article note: Interesting. The premise that you can get your Rust-y static analysis features out of something that will pass through a standards compliant C compiler with pain comparable to actually writing rust is pretty compelling, especially for portability and gradual-improvement reasons. ... On the other hand, it appears to depend on BUGSENG's proprietary ECLAIR Software Verification Platform, which seems to be priced in the "If you have to ask, you can't afford it" range, and requires annotation that make's Rust's slightly obstinate features look convenient.
Comments
This entry was posted in News. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *