Rust is a danger to itself because it's only a stepping stone, and if it becomes too difficult to reason about formally it will need to be reconned out of existence once we achieve true language revolution
*notices typo'd "retconned"* oof
also, yeah, I have ranted for years on IRC about almost-magical languages that I will probably never get to build
at this point I've almost become the "old man shouting at clouds" meme and most interesting PLT developments won't involve me
I empathise with this!
Wrote a doc about some plans for the language I'm making a few weeks ago… then got a bit overwhelmed at all the open research that is still needed… argh.
