C++ is Still Here, Still Powerful with Gabriel Dos Reis
Hanselminutes with Scott Hanselman
00:00
Formal methods and math in language design
Gabriel describes using mathematical proof to ensure features like constexpr and modules are sound.
Play episode from 29:51
Transcript
