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