3 ms·
From the Ada standard: https://en.wikibooks.org/wiki/Ada_Programming/Types/access https://en.wikibooks.org/wiki/Ada_Programming/Types/access More importantly
by DoingIsLearning 6y ago
From the Ada standard:
https://en.wikibooks.org/wiki/Ada_Programming/Types/access https://en.wikibooks.org/wiki/Ada_Programming/Types/access
More importantly the previous discussion on Ada SPARK 2014 'safe pointers' may also be an interesting read for proponents of a Substructural Type System:
https://news.ycombinator.com/item?id=15874273 https://news.ycombinator.com/item?id=15874273