3 ms·
Sadly, Rust still lacks some features that Ada has. For example, range types[1] (a narrow case of the dependent types). [1] https://en.wikibooks.org/wiki/Ada_P
by xvilka 2y ago
Sadly, Rust still lacks some features that Ada has. For example, range types[1] (a narrow case of the dependent types).
[1] https://en.wikibooks.org/wiki/Ada_Programming/Types/range https://en.wikibooks.org/wiki/Ada_Programming/Types/range
- bitwize 2y agoIn my talk I expounded on how people were concerned with safety even in the 80s, and how Ada provides tools to construct programs that were safe in many other ways besides just memory safety.