TheCee@programming.dev to Programming Languages@programming.devEnglish · 1 year agoType Systems for Memory Safetyborretti.meexternal-linkmessage-square2fedilinkarrow-up18arrow-down10cross-posted to: [email protected]
arrow-up18arrow-down1external-linkType Systems for Memory Safetyborretti.meTheCee@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square2fedilinkcross-posted to: [email protected]
minus-squareananas@sopuli.xyzlinkfedilinkEnglisharrow-up2·1 year agoVery interesting. I’ve been struggling to figure out how I want to handle references in my language and if I read this a couple of times through, I might get some more insight.
Very interesting. I’ve been struggling to figure out how I want to handle references in my language and if I read this a couple of times through, I might get some more insight.