News for hackers. Stuff that matters.

A comment on Fuzz rising. Parent comment

Re:Fuzz rising by scottlocklin on Monday July 22, 2019 @06:28AM (#20496713)
ATS looks interesting. It continues to boggle my mind that Ada/SPARK isn't given more attention in conversations like this. It seems to do everything Rust promises while being simpler (SPARK anyway) and more powerful, and with 40 years of history and experience behind it.
[ Parent | on HN ]
Re:Fuzz rising by masklinn on Monday July 22, 2019 @07:10AM (#20496897)
My understanding is that Ada has memory-safety issues (or leaks like a sieve) if dynamic allocations are used and GC is not.
[ Parent | on HN ]
Re:Fuzz rising by scottlocklin on Tuesday July 23, 2019 @05:37AM (#20505497)
Ada doesn't use a garbage collector, so it appears that understanding isn't right. I think it had one as part of the standard in the 80s, but maybe such problems made it go away.
[ Parent | on HN ]