> In other words, Rust has solved the halting problem since the static checking of array bounds is undecidable in the general case! Pfft, the simply typed lamb

> In other words, Rust has solved the halting problem since the static checking of array bounds is undecidable in the general case! Pfft, the simply typed lambda calculus solved the halting problem back in 1940.