|
|
|
|
|
|
by kqr
3305 days ago
|
|
|
> you are not solving any real issues either. Rust only protects you from a small fraction of errors and while for an application like a browser, this can be a big gain, I would argue that it is negligible for a kernel in general. Reasons being that all the device IO, component interaction, privilege escalations, logical errors, hardware errors, firmware errors/bugs all can NOT be addressed by rust. Would something like Ada SPARK be more helpful here? And what critical parts of that is Rust missing? |
|
|