3 ms·
Oh you're totally right; I think it would have to be a purely functional framing - I don't think we could shoe-horn this into Rust. I should have prefaced my c
by joshmarlow 4y ago
Oh you're totally right; I think it would have to be a purely functional framing - I don't think we could shoe-horn this into Rust.
I should have prefaced my comment with a note that this was way more speculative :)
- steeleduncan 4y agoYes, it is a shame that no version of that purely functional Haskell ideal has been created that could reasonably be used for kernel development. Using the type system to constrain side effects of code in the way you suggest would eliminate massive classes of security vulnerabilities and crashes.
- Quekid5 4y agoCopilot is used for hard real time systems. Now, Copilot is probably more specialized than even kernel dev, but AFAICT there's not really any hard barrier there. "Just" a question of effort.