14 ms·
No, my point is that it doesn't. If your zero-sized types are big your type system is not any worse: it's just less efficient.
by saagarjha 2y ago
No, my point is that it doesn't. If your zero-sized types are big your type system is not any worse: it's just less efficient.
- tialaramex 2y agoIf you're focused on just the theoretical correctness of the type system, go back to my first critique: C++ does not have Empty Types. So immediately a whole class of problems that are just a type system question in Rust are imponderable, you can't even say what you meant in C++