armchair_progamerM to Programming Languages · 11 months agoOwnership you can count onmuxup.comexternal-linkmessage-square1fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1external-linkOwnership you can count onmuxup.comarmchair_progamerM to Programming Languages · 11 months agomessage-square1fedilink
minus-squarebitcrafterlinkfedilinkEnglisharrow-up2·11 months agoNifty! Thanks for posting this. So basically this idea is similar to how Rust does things, except that the compiler doesn’t warn you when you are doing something unsafe? I think that is reasonable for a 2007 paper, but not necessarily today.
Nifty! Thanks for posting this.
So basically this idea is similar to how Rust does things, except that the compiler doesn’t warn you when you are doing something unsafe? I think that is reasonable for a 2007 paper, but not necessarily today.