What is memory safety

this article brought me back to http://www.pl-enthusiast.net/...

drre 10 points 3 years ago

i feel like half the article is missing

path: 0 4048876, hotness: undefined, score: 10, children: 3

pap1rus 4 points 3 years ago

true, I don't see any definitions of memory safety in "Defining the memory safe problem" , but a more detailed discussion of memory safety is in the other article http://www.pl-enthusiast.net/...

save

path: 0 4048876 4050324, hotness: undefined, score: 4, children: 2

drre 2 points 3 years ago

thanks! but i can't access the site (certificate expired some certificate related error, then, page not found). I'll try again later

save

path: 0 4048876 4050324 4081731, hotness: undefined, score: 2, children: 1

activistPnk 1 point 3 years ago

save

path: 0 4048876 4050324 4081731 4241150, hotness: undefined, score: 1, children: 0

activistPnk 1 point 3 years ago

I wondered what that article would say about Ada. No mention. But certainly Ada gives you the ability to have the issues that are listed so apparently Ada is memory unsafe (despite it being highly regarded as a safe language overall).

Also worth noting that Ada developers generally consider rust a watered down lesser alternative. OTOH, rust has memory safety and Ada does not, correct?

save

path: 0 4241470, hotness: undefined, score: 1, children: 0

Rules

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

Rules

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev