4 ms·
I don't think Rust polymorphism is decidable: https://sdleffler.github.io/RustTypeSystemTuringComplete/ https://sdleffler.github.io/RustTypeSystemTuringComplete
by josh11b 5y ago
I don't think Rust polymorphism is decidable: https://sdleffler.github.io/RustTypeSystemTuringComplete/ https://sdleffler.github.io/RustTypeSystemTuringComplete/
- choeger 5y agoWell, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.