Rust style memory management

deadalnix via Digitalmars-d digitalmars-d at puremagic.com
Sat Sep 12 16:34:55 PDT 2015


On Saturday, 12 September 2015 at 23:21:48 UTC, welkam wrote:
> On Saturday, 12 September 2015 at 20:17:04 UTC, Freddy wrote:
>> So I saw this video: 
>> https://air.mozilla.org/guaranteeing-memory-safety-in-rust/ 
>> and was amazed. Is there any way we can implement this in D? 
>> What language extensions would be required?
>>
>> My idea on implement this would be to add 3 new pointer (and 
>> array) types : [owned,shared immutable,borrow mutable] and 
>> depend on casting raw pointers to the new types.
>>
>> Thoughts?
>
>
> There is something in std.typecons
> http://dlang.org/phobos/std_typecons.html
>
> Never tried and didnt get into details, but sounds something 
> like rust

No that's can't provide the guarantee that are wanted here. You 
can't provides these guarantee without language support.


More information about the Digitalmars-d mailing list