CppCon 2016: Robert Ramey “C++, Abstract Algebra and Practical Applications"

Play CppCon 2016: Robert Ramey “C++, Abstract Algebra and Practical Applications"
Sign in to queue

Description

Published on Oct 6, 2016
http://CppCon.org

Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/cppcon/cppcon2016

Modern C++ includes ample facilities for manipulating types a compile time. These facilities have evolved from a small bag of miscellaneous tricks to an large bag of miscellaneous tricks. It turns out we can select a subset of these tricks to build a representation of abstract algebra within the C++ type system. This methodology will help programmers select and exploit the C++ type manipulation facilities to create more transparently correct, efficient and maintainable programs.
This session does not presuppose and particular mathematical background. It depends upon only the most basic and key ideas of abstract algebra which will be explained as part of the presentation.
This work was initially inspired by work by Barton and Nackman as well as some ideas from Denotational Semantics.

Robert Ramey
Robert Ramey Software Development
Proprietor
Santa Barbara, CA
Robert Ramey is a freelance Software Developer living in Santa Barbara, California. (See www.rrsd.com.) His long and varied career spans various aspects of software development including business data processing, product, embedded systems, custom software, and C++ library development. Lately, he has been mostly interested in C++ library design and implementation related to Boost. He is the author and maintainer of the Boost Serialization library and a frequent contributor to the Boost developers list.

Videos Filmed & Edited by Bash Films: http://www.BashFilms.com

Day:

3

Embed

Download

Download this episode

The Discussion

Add Your 2 Cents