Re:Safe C++ proposal is not being continued
by seanbax on Sunday September 14, 2025 @03:58PM
(#45242752)
Lifetime parameters are necessary for borrow checking. And you need a special operator for initiating a borrow. You need immutability by default, because mutability everywhere violates exclusivity.
[ Parent
| on HN ]
Re:Safe C++ proposal is not being continued
by Panzerschrek on Monday September 15, 2025 @02:59AM
(#45246886)
You don't need special operator for initializing borrow. Calling a function like Foo(a) will initialize such borrow, if function parameter is mutable reference. The same is for creating local mutable reference.
Mutability by default is good, but it's not strictly necessary. I repeat, you can just write "const" everywhere manually, except places, where mutation is needed.