[nahuel0x]

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]

It's probably because fragmentation isn't a safety issue. (In the sense of 'safety' being discussed here.)

[galangalalgol]

It doesn't create UB, but it is something safety critical software has to address.

[Quekid5]

... which is why I had that little bit at the end there.