News for hackers. Stuff that matters.

A comment on Why Is SQLite Coded in C and not Rust. Parent comment

Re:Why Is SQLite Coded in C and not Rust by sixthDot on Wednesday October 15, 2025 @08:16AM (#45591218)
Bound checks are usually conditionally compiled. That's more a kind of "contract" you'll verify during testing. In the end the software actually used will not check anything.

    #ifdef CONTRACTS
    if (i >= array_length) panic("index out of bounds")
    #endif
[ Parent | on HN ]
Re:Why Is SQLite Coded in C and not Rust by sixthDot on Wednesday October 15, 2025 @08:11PM (#45599984)
an hygienic way to handle that is often "assert", can be a macro or a built in statement.The main problem with assertions is the side-effects. The verification must be pure...
[ Parent | on HN ]