|
|
|
|
|
|
by loup-vaillant
12 days ago
|
|
|
> It can be reasoned about, but doing so correctly is very difficult […]. I don’t think this is controversial? It’s actually much easier than 95% of programmers think. The trick is to stop using fine grained allocations all the time, which are very difficult without tricks like RAII or a borrow checker (not to mention the high runtime overhead), and start using arenas instead. https://www.rfleury.com/p/untangling-lifetimes-the-arena-all... |
|
|