Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
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