Hacker News new | ask | show | jobs
by Findecanor 108 days ago
I thought SPARK got dynamic memory allocation when it adopted Rust-style ownership and borrowing in 2014.