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.
