Comment by Panzerschrek 3 days ago How does it achieve memory safety? 1 comment Panzerschrek Reply steveklabnik 2 days ago Right now? By not even having heap allocation (though I'll be sending in the first PR for that soon.)Eventually: through not having references, thanks to mutable value semantics. Also linear types.But that's just ideas right now. It'll get there.
steveklabnik 2 days ago Right now? By not even having heap allocation (though I'll be sending in the first PR for that soon.)Eventually: through not having references, thanks to mutable value semantics. Also linear types.But that's just ideas right now. It'll get there.
Right now? By not even having heap allocation (though I'll be sending in the first PR for that soon.)
Eventually: through not having references, thanks to mutable value semantics. Also linear types.
But that's just ideas right now. It'll get there.