Engineering Software: Integral Types

Speaker: Andrei Zlate-Podani

Audience level: Intermediate | Advanced


In spite of more than 40 years of programming practice, we still make even the most basic errors of API design and coding: integer overflow, error prone floating point arithmetic, unconstrained / flawed templated interfaces.

A few such examples from Boost, the C++17 standard and a discussion on generic and template metaprogramming issues will illustrate why we need to focus more on quality and less on quantity.

When the most basic building blocks offer few or no guarantees on the correctness of their results, the task of writing correct programs becomes a lot more difficult. At the same time, the standard library is not providing some essential primitives that would make writing correct code easier and with better performance characteristics.

The presentation will also include a surprise guest from the functional programming languages family.