2 ms·

Apple does all of it quite well, but software inherently has bugs for as long as we use type-unsafe languages. Maybe Apple could move entirely to Rust instead o

by judge2020 5y ago

Apple does all of it quite well, but software inherently has bugs for as long as we use type-unsafe languages. Maybe Apple could move entirely to Rust instead of C to prevent things like checkm8 but even then the logic of a program is written by imperfect humans.

saagarjha 5y ago
Apple uses a memory-safe version of C for iBoot these days.
frutiger 5y ago
> software inherently has bugs for as long as we use type-unsafe languages This is untrue. Textbooks on type theory (Pierce’s TaPL comes immediately to mind) will state early on that well typed terms cannot always eliminate all undesirable states. In fact, there is a tension in encoding all your constraints into the type system (at which point you become a mathematician proving theorems) and producing programs that are actually useful to other people.
- nicce 5y ago
  Indeed, you can still have errors in logic for example, which can lead to dangerous vulnerabilities.