Efficient Deconstruction with Typed Pointer Reversal

I would like to offer for discussion our ML workshop 2019 submission which has been accepted for presentation in Berlin next month:

We present a technique which could lead to a solution to RFC 686:

I would have waited for the full version to be available before advertising it to the Rust community, but since the abstract has reached social media, I’d like to have a central place to answer questions if you have any. Comments welcome!

I recommend waiting for the longer version before speculating on how this could be put into Rust, because it will present a generalisation of the idea.

10 Likes