Why Is SQLite Coded in C and not Rust

Re:Why Is SQLite Coded in C and not Rust by ChadNauseam on Tuesday October 14, 2025 @07:53PM (#45586389)

I wonder if this problem could be mitigated by not requiring coverage of branches that unconditionally lead to panics. or if there could be some kind of marking on those branches that indicate that they should never occur in correct code

[ Parent | on HN ]

Re:Why Is SQLite Coded in C and not Rust by accelbred on Tuesday October 14, 2025 @08:59PM (#45586861)

You'd want to statically prove that any panic is unreachable

[ Parent | on HN ]