On Borrow Checking

Paul Backus snarwin at gmail.com
Sun May 4 10:57:27 UTC 2025


On Saturday, 3 May 2025 at 19:22:20 UTC, Walter Bright wrote:
> You add:
>
> ```
> @live:
> ```
>
> at the beginning of your modules.

Even if you do this, you still cannot manually free memory in 
@safe code, like you can in Rust.

Borrow checking, in itself, is not a useful feature--it's just a 
bunch of arbitrary hoops the programmer has to jump through. It 
is useful in Rust ONLY because of the additional safety analysis 
it enables. In D, the borrow checker does not enable any 
additional safety analysis, so why would the programmer ever want 
to jump through its hoops?


More information about the Digitalmars-d mailing list