Mountain View: Systematic Generation of Data and Types in C++

In this talk from our frequent speaker Sumant Tambe, we continue exploring the functional landscape from the vantage point of modern C++. This presentation will discuss two classic techniques from the functional domain — composable data generators and property-based testing — implemented in C++14 for testing a generic serialization and deserialization library (RefleX (https://github.com/rticommunity/rticonnextdds-reflex#rti-reflex)). We will look at a systematic technique of constructing data generators from a mere random number generator and random type generation using compile-time meta-programming. Along the way, we will discuss monoids, functors, and monads as we encounter them.

Sumant Tambe is a Senior Software Engineer at LinkedIn and a Microsoft VC++ MVP. He helps run Kafka and the related streaming infrastructure at LinkedIn. He contributes to the open-source Apache Kafka and writes the blogs Coditation (https://coditation.wordpress.com) and C++ Truths (http://cpptruths.blogspot.com). Previously he worked on reactive stream processing in C++ for industrial IoT systems at RTI.

Join us after the talk at the Tied House for drinks and food!