What is the current progress on "Safety and Memory Management"?

[Enamex via Digitalmars-d]

On Saturday, 16 July 2016 at 21:45:17 UTC, maik klein wrote:
> I was actually thinking of contributing something bigger as 
> part of my bachelor thesis. (Not sure if I am allowed to do 
> that)
>
> What I wanted to do is to translate a big part of Rust's std to 
> D. Stuff like Rc, Arc, Box, Optional + all the necessary tools 
> for ownership semantics.
>
> Also implement data structures that work with ownership 
> semantics (Rc, Box, Arc etc)  like Vec, HashMap.
>
> Add ownership semantics to phobos, for example a lot of stuff 
> in phobos can't be used with non copyable types. (A lot of 
> things rely on copying)
>
> I have already implemented a small part of Rusts std but it 
> felt like that I was the only one interested in this. (I am 
> aware of RefCounted, Unique, Nullable etc)
>
> I would definitely put some spare time into researching this a 
> bit more if there is some interest.

That sounds very interesting. You mean to encode Rust-like 
ownership semantics at runtime for a complete alternative stdlib 
in D?