this article brought me back to http://www.pl-enthusiast.net/2014/07/21/memory-safety/
What is memory safety
https://alexgaynor.net/2023/oct/02/defining-the-memory-safety-problem/
https://alexgaynor.net/2023/oct/02/defining-the-memory-safety-problem/
this article brought me back to http://www.pl-enthusiast.net/2014/07/21/memory-safety/
4 Comments
drre@feddit.de · 10 pts · 2y
i feel like half the article is missing
pap1rus@lemmy.ml · 4 pts · 2y
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/2014/07/21/memory-safety/
drre@feddit.de · 2 pts · 2y
thanks! but i can't access the site (
certificate expiredsome certificate related error, then, page not found). I'll try again lateractivistPnk@slrpnk.net · 1 pts · 2y
activistPnk@slrpnk.net · 1 pts · 2y
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?