[luckystarr]

True, yet in the context of the experiment that part of the language was not used, so they could compare the two approaches.

I think this research highlights a important strategy to make all software safer.

A quote from the discussion section:

> Encouraging adoption of safer languages by reducing stress.

[MaulingMonkey]

It appears in this case that they're encouraging adoption of safer languages by making them unsafe and unsound: https://users.rust-lang.org/t/bronze-gc-and-aliasing-problem...