C++ Language Support for Pattern Matching and Variants

January 22, 2016 | By David Sankel | 43 Comments | Filed in: Uncategorized.

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 »

Functional Design Explained (CppCon 2015)

September 22, 2015 | By David Sankel | 2 Comments | Filed in: C++.

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 »

A variant for the everyday Joe

July 1, 2015 | By David Sankel | No Comments | Filed in: C++.

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 »

Tags: ,