Hacker News Reader

But that elimites purpose for Ada. Rust has better type system to deal with this.

I thought both Ada and rust have good compile time checks for memory safety that eliminates the need for run time checks?