TypesWillSaveUs | 4 months ago | on: Apple M5 chip
TypesWillSaveUs's comments
TypesWillSaveUs | 2 years ago | on: Windows 11 Insider Preview Build 25905 brings a bit of Rust in the kernel
Rust is hard/simple. The rules aren't complex. The constructs aren't complex. But it's hard to write because the rules are very restrictive.
Rust is also much easier to read than write (for a reader who understands the rules).
It's optimising for exactly the things you want in systems programming:
Easier to read than the write. Simple rules that are easy to understand but hard to follow, and that produce simple programs.
Compare that to C which is easy/complex. It's much easier to write than to read. It's easy to learn and write but produces code that's very complex. The rules are all by convention instead of part of the type system.
TypesWillSaveUs | 2 years ago | on: Top secret U.S. Navy system heard titan implosion days ago