Attending this event?
View analytic
Saturday, May 20 • 8:45am - 10:15am
Type-safe Programming

Log in to save this to your schedule and see who's attending!

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/).

avatar for Jonathan Müller

Jonathan Müller

Student, RWTH Aachen University
Jonathan is a CS student passionate about C++. In his spare time he writes libraries like foonathan/memory which provides memory allocator implementations. He is also working on standardese which is a documentation generator specifically designed for C++. Jonathan tweets at @foonathan and blogs about various C++ and library development related topics at foonathan.net.

Saturday May 20, 2017 8:45am - 10:15am
Feedback form isn't open yet.

Attendees (14)