Slides:
https://github.com/boostcon/cppnow_presentations_2017/blob/master/05-17-2017_wednesday/the_mathematical_underpinnings_of_promises_in_cpp__david_sankel__cppnow_05-17-2017.pdfVideo:
https://www.youtube.com/watch?v=2OY0Zn3oBCEWhat is the mathematical essence of a promise and how does it inform the
development of a promise library in C++? This talk explores the algebraic
foundation of promises and applies those concepts to the development of a
promise library. This talk serves as a case study of using functional design
to develop a practical library. The discussion will lead to general questions
such as "How do you discover the fundamental operations for a type?" and "Which
aspects of a mathematical design need modification to fit into a practical
language?".
We will be touching on purity, denotational semantics, monads, laziness, and
pragmatism. All abstract concepts will be adequately introduced and no
background in mathematics is required. Attendees should walk away with an
understanding of how functional design is put into practice and may even want
to give it a whirl in their next project.