No, my point is that it doesn't. If your zero-sized types are big your type syst... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		saagarjha on July 21, 2024 \| parent \| context \| favorite \| on: rr – record and replay debugger for C/C++ 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 on July 21, 2024 [–]

If 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++

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact