@live questions

[Dibyendu Majumdar]

Hi

I don't quite know Rust so it is bit hard to compare this feature 
with Rust. Ideally someone who knows both languages in depth 
should compare and figure out if @live is comparable to Rust 
ownership ideas.

I have following questions / suggestions:

a) I understand on its own @live is only part of what Rust does? 
Rust has lifetime annotations and I believe it can track memory 
allocation across a graph of objects and ensure there is no leak 
etc. Is my understanding correct that @live only deals with 
pointers and to compare this to Rust, one has to also include 
DIP1000?

My first suggestion is that @live and DIP1000 features should be 
documented together. I heard in the discussions that DIP1000 is 
actually not yet documented?

b) Is it also the case that DIP1000 is only available if a 
function is marked @safe?

It seems to me that both @live and @safe should be available as 
compiler flags to turn them on - and not have to rely on 
annotations. Is this possible? Certainly in Laser-D I would like 
these to be ON by default and annotation should be to suppress 
rather than enable.