HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by pjmlp | Hacker News Reader
Parent
Full thread
pjmlp
·
Unless it has changed, SPARK also forbids dynamic allocation.
View on HN
yannickmoy
·
It has changed:
https://blog.adacore.com/pointer-based-data-structures-in-sp...
Reply on news.ycombinator.com