Hacker News new | ask | show | jobs
by pjmlp 2236 days ago
Ada/SPARK does not allow for dynamic allocations, all of them must be proven at compile time.