[naasking]

It's possible to permit arbitrary memory patterns by adding ref counts in specific ways:

https://www.microsoft.com/en-us/research/publication/perceus...

It's interesting how much there still is to discover in this space, despite decades of research.

[pjmlp]

It is like Xerox and ETHZ use of memory safe systems languages for graphical workstations, monetary and human issues hinder adoption of great research ideas.