C++Now 2017

Slides: https://github.com/boostcon/cppnow_presentations_2017/blob/master/05-20-2017_saturday/type_safe_programming__jonathan_muller__cppnow_05-20-2017.pdf
Video: https://www.youtube.com/watch?v=iihlo9A2Ezw

C++ provides a really advanced type system. A prime example of its application is std::chrono: It uses the type system to create different types for different units and prevent programmer errors.

But the same principle can be applied to your everyday code - this talk is going to show you how. I'll present simple techniques to leverage the C++ type system to detect and prevent possible bugs at compile-time. We'll start with the bare minimum - minimize implicit conversions, and then quickly go to more advanced things like using types to express preconditions or general guidelines about type-safe class design.

This talk is in part based on ideas and concepts implemented in my type_safe library (http://type_safe.foonathan.net/).