3 ms·
I do. I am not saying they are not useful... I am saying they are not safe. In a world where you care about the safety guarantees of Rust, you'd take an API tha
by saurik 2y ago
I do. I am not saying they are not useful... I am saying they are not safe. In a world where you care about the safety guarantees of Rust, you'd take an API that insists on manual index management and you would build an abstraction over it that allowed the compiler to prove its correctness using a proof system of some form, maybe borrow checking, or maybe something much more sophisticated.