2 ms·

A "sound and complete type system" can't guarantee termination, and being a Rust zealot won't change that.

• andrewflnr 7y ago
  Correct. Fortunately that has nothing to do with memory safety. And where did you get the idea I was a Rust zealot?
  • msla 7y ago
    It has everything to do with memory safety.
    • andrewflnr 7y ago
      You don't even need a type system to eliminate memory unsafety. Show me the memory unsafety in lambda calculus. (and don't forget that, as you said, we're talking about languages, not runtimes)