The C++ Programming Language needs a language based variant, or at least P0095R0 argued for it at the 2015 Kona C++ standardization meeting. P0095R0, however, didn’t fully explore generalized pattern matching, which is another desirable feature that is highly related. This post explores some ways to generalize the minimal pattern matching described in P0095R0. Update • Read More »

I delivered a talk entitled “Functional Design Explained” at CppCon 2015. Slides are available here and the video is here. I recommended a couple books at the meeting. These are enumerated below: Denotational Semantics: A Methodology for Language Development by David Schmidt is available for free download online here. Category Theory for Computing Science by • Read More »

There’s been a lot of discussion lately on the design of a standard variant type for C++. To be sure, there are several difficult decisions that need to be made and many of these are contentious. This post aims to put forward the rationale for the choices made at the Lenexa C++ Committee meeting for • Read More »