From a layman's perspective, the field of programming language research is full of jargon, greek letters, and weird symbols.
On the one hand, Those common parlances make the programming language…
The const type qualifier is one of the jewels of the C++ language design. Surrounding by this feature, we devise the " const correctness" practice to prevent const objects from getting mutated…
At CppCon 2019, I gave a lightning talk at called Make Impossible State Unrepresentable . Due to the nature of a 5 minutes lightning talk, it was handwavy, and I cut a lot of prepared contents to…
Update: Apparently there is a WG21 paper on this subject that goes in much more detailed than my post. I am surprised that I missed his CppCon talk on this topic and come into the silimar conclusion…
What a week we had! CppCon 2019 is by far the best CppCon that I've ever attended. There are contents that interest me on every time slot, and for a lot of time there are conflict so that it is hard…