3 ms·
For what it's worth I hear work on porting some of rust's memory-ownership concepts to Spark are going well at AdaCore. This should allow pointers to be integra
by touisteur 9y ago
For what it's worth I hear work on porting some of rust's memory-ownership concepts to Spark are going well at AdaCore. This should allow pointers to be integrated in the Spark subset of proveable Ada.
- nickpsecurity 9y agoIt didn't look great when I asked about it here: https://www.reddit.com/r/ada/comments/6avcy4/odds_of_ruststyle_temporal_safety_in_ada/ https://www.reddit.com/r/ada/comments/6avcy4/odds_of_ruststy... I do hope you're right with them figuring it out. It's a killer feature Ada and/or SPARK need. The alternative is basically separation logic. That isn't going mainstream or significant commercial haha. For me, I prefer both to adopt each others' strengths to increase diversity in batteries-included, safe/secure, systems space.