i feel like half the article is missing
this post was submitted on 03 Oct 2023
18 points (84.6% liked)
Programming
17392 readers
168 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 1 year ago
MODERATORS
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/
thanks! but i can't access the site (~~certificate expired~~ some certificate related error, then, page not found). I'll try again later
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?