it's interesting that Rust isn't mentioned once in his post. i wonder if he's disheartened with the direction his baby went.
http://graydon2.dreamwidth.org/247406.html
https://twitter.com/graydon_pub/status/886212237987368960
He even addresses the changes to the runtime:
I think the above post indicates that he is extremely proud of how Rust turned out.
"After memory safety, what do you think is the next big step for compiled languages to take?"
It might be that he thinks it has successfully pushed the state of the art in terms of regions and affine type systems, but that there are still things outside that to explore and push. 'Parametric mutability' seems to be at least in part a response to some patterns that have emerged in Rust due to the lack of this feature.early Rust was quite different - not as low-level, had a GC, green threads, other stuff. some info here: https://news.ycombinator.com/item?id=13533701