Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
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!

Feedback form is now closed.
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/).

Speakers
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 @foon... Read More →


Saturday May 20, 2017 8:45am - 10:15am
Hudson Commons

Attendees (27)