On Saturday, 12 January 2019 at 15:51:03 UTC, Andrei Alexandrescu
wrote:
https://youtube.com/watch?v=tcyb1lpEHm0
Now as to the talk, as you could imagine, it touches on another
Somebody on the C++ side has written a reply....
https://brevzin.github.io/c++/2019/01/15/if-constexpr-isnt-broken/
Although looking at the implementation of std::conditional in the
type_traits header makes me sad...
I would love to see the whole checkedint thing in C++ side by
side with the d code (and generated -Os object code).
Conversely I'd love to see a Rust implementation too :-)
Given that I have probably written a lot more C++ code in my life
than d...
...I do find it remarkable that I can read the d code quite
easily without reaching for the reference manual, but to make
sense of his C++, it sends me trawling around cppreference.com
I find Andrei's claim that checkint with a void hook reverts to
int is amazing, and would love to verify that at the assembly
level for both the C++ and d implementations.