4 ms·
It would be great if you could be a specific as possible about the ways in which Ada is more memory-safe, or otherwise-safe, than Zig. The language isn't 1.0 y
by samatman 2y ago
It would be great if you could be a specific as possible about the ways in which Ada is more memory-safe, or otherwise-safe, than Zig.
The language isn't 1.0 yet and is willing to learn from other languages.
- pjmlp 2y agoLets start with controlled types (RAII), generics, type driven programming, tasks and monitors for concurrency and parallel programming, certification profiles for high integrity computing (where people die when bugs happen), formal proofs in the type system, contracts.