SPARK (Ada) is about as memory-safe as it gets. https://github.com/AdaCore/spark... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tiffanyh 9 months ago \| parent \| context \| favorite \| on: Ask HN: Memory-safe low level languages? SPARK (Ada) is about as memory-safe as it gets. https://github.com/AdaCore/spark2014

andsoitis 9 months ago [–]

I was also going to suggest Spark https://www.adacore.com/sparkpro

There's also this paper, "Memory Safety in Ada, SPARK, and Rust"

https://www.adacore.com/papers/memory-safety-in-ada-spark-an...

tiffanyh 9 months ago | [–]

I’ve always found the table comparison (Rust/Ada/SPARK) from that same source to be very informative:

https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact