> Rust’s type system ended up being Turing-complete anyway. It seems like it fell into the same trap as C++ templates I hear it is a common trap. https://aphy

> Rust’s type system ended up being Turing-complete anyway. It seems like it fell into the same trap as C++ templates I hear it is a common trap. https://aphyr.com/posts/342-typing-the-technical-interview https://aphyr.com/posts/342-typing-the-technical-interview