3 ms·
Have you tried to assure yourself that this or that piece of software (your primary text editor for example) doesn't need to be memory safe because it won't eve
by hollerith 1y ago
Have you tried to assure yourself that this or that piece of software (your primary text editor for example) doesn't need to be memory safe because it won't ever receive as input any data that might have been crafted by an attacker? In my experience, doing that is harder than satisfying the borrow checker.
- Spivak 1y agoYes, and you can choose to use any language with a garbage collector and get the same benefit. The list of memory safe languages at your disposal is endless and they come in every flavor you can imagine.
- airstrike 1y ago> Yes, and you can choose to use any language with a garbage collector Uh, no thanks. > and get the same benefit. Not quite.
- creata 1y agoThat's true (with some qualifications), but everyone seems to continue using C and C++ for everything, even for applications like text editors, where the performance of a GC language would presumably be good enough. I wonder why.
- nine_k 1y agoThe cost of it is spending more CPU and more RAM on the GC. Often it's the cost you don't mind paying; a ton of good software is written in Java, Kotlin, TS/JS, OCaml, etc. Sometimes you can't afford that though, from web browsers to MCUs to hardware drivers to HFT.