Does Ada have a substructural type system [0]? If not, then it's not even in the... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		imtringued on July 13, 2020 \| parent \| context \| favorite \| on: Rust Is Surprisingly Good as a Server Language Does Ada have a substructural type system [0]? If not, then it's not even in the same league as Rust. [0] https://en.wikipedia.org/wiki/Substructural_type_system

DoingIsLearning on July 13, 2020 [–]

From the Ada standard:

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact