@live questions

[Dibyendu Majumdar]

On Sunday, 22 November 2020 at 19:32:59 UTC, Timon Gehr wrote:

> This point was not a criticism of @live, it is a criticism of 
> the idea to make it the default in that Laser-D project.
>

I was thinking mainly about @safe ... @live cannot be made 
default because user has to decide where it is useful. And as 
mentioned in another post, I think this probably means it is 
redundant ...

I personally dislike annotations and would prefer code in Laser-D 
to be clean - i.e. as noise free as possible. I will probably not 
document any of the annotations - obviously a  perception is that 
these things help, but I am not sure there is any real measurable 
evidence that they are any better than already existing tools 
such as ASAN or valgrind.

Rust is different because it really goes to the extreme to allow 
complete object graphs to be memory safe.