Giving Rust a chance for in-kernel codecs

Posted Apr 27, 2024 17:03 UTC (Sat) by Cyberax (✭ supporter ✭, #52523)
In reply to: Giving Rust a chance for in-kernel codecs by dvdeug
Parent article: Giving Rust a chance for in-kernel codecs

> SPARK/Ada can do it

Not really. Ada sucks for anything that uses dynamic allocations or generic code. It only recently copy-pasted Rust's approach with borrowing, but it's still not nearly as advanced. Wuffs is probably the best practical tool for parsing.

Giving Rust a chance for in-kernel codecs

Posted May 26, 2024 21:58 UTC (Sun) by dvdeug (guest, #10998) [Link]

Wuffs sucks even harder for dynamic allocations and generic code, since it doesn't permit them. An apples to apples comparison of SPARK/Ada to Wuffs, even within Wuffs' narrow design space, would be interesting.