3 ms·
It's surprising to see an article with such a large encompassing of different techniques, hybrid techniques and design interactions with the type system, but is
by nahuel0x 2y ago
It's surprising to see an article with such a large encompassing of different techniques, hybrid techniques and design interactions with the type system, but is more surprising that a whole dimension of memory (un)management was left out: memory fragmentation
- Quekid5 2y agoIt's probably because fragmentation isn't a safety issue. (In the sense of 'safety' being discussed here.)
- galangalalgol 2y agoIt doesn't create UB, but it is something safety critical software has to address.
- Quekid5 2y ago... which is why I had that little bit at the end there.