> How is it possible that I can write efficient and provably-safe code in C# without a degree in type theory? Excellent question And I feel that Rust, by maki

> How is it possible that I can write efficient and provably-safe code in C# without a degree in type theory? Excellent question And I feel that Rust, by making it explicit, makes it harder and unergonomic on the developer