I think it’s really awesome that D was able to bolt one of these on so quickly and with seemingly so little fuss. Really demonstrates the power of D. I hope for once it actually helps D enter the limelight.
Reading the documentation, there seem to be a lot of restrictions attached. Also:
It will not detect attempts to dereference null pointers or possibly null pointers. This is unworkable because there is no current method of annotating a type as a non-null pointer.
This is good. I like their approach of focusing on pointers first, objects that are managed by RAII later. I hope D manages to strike a good balance between usefulness of the borrow checker and getting out of the way. I love almost everything about Rust, but the fact that you have to keep lifetimes in your head the whole time is a royal pain in the ass.
I think it’s really awesome that D was able to bolt one of these on so quickly and with seemingly so little fuss. Really demonstrates the power of D. I hope for once it actually helps D enter the limelight.
Reading the documentation, there seem to be a lot of restrictions attached. Also:
I guess this will be painful to fix.
(But agreed, awesome work by the D devs!)
Wow this an exciting unexpected event!
I look forward to more development here :)
This is good. I like their approach of focusing on pointers first, objects that are managed by RAII later. I hope D manages to strike a good balance between usefulness of the borrow checker and getting out of the way. I love almost everything about Rust, but the fact that you have to keep lifetimes in your head the whole time is a royal pain in the ass.
This is really nice. I hope to see D -> betterC -> C++ implementation.