Hacker News new | ask | show | jobs
by nickpsecurity 3332 days ago
I don't see anything about safety for dynamic, memory management in that link. It just talks about correctness. I'm specifically wanting affine types and ownership system that let SPARK go from static to dynamic.

I do like them splitting it into several levels, though. That worked under Orange Book for security.
2 comments
touisteur 3332 days ago
My bad, slides are not available yet... There's a mention in there about some rust-like ownership proof mechanism in their roadmap. I thought about our last exchange on SPARK & rust when I saw this :-).
link
pjmlp 3332 days ago
AdaCore hired the guy that designed ParaSail, however the language development is a bit slow.

https://forge.open-do.org/plugins/moinmoin/parasail/FrontPag...

link
nickpsecurity 3327 days ago
In case you're interested in details on this development:

https://news.ycombinator.com/item?id=14346032

link