C++Now 2017 has ended
Back To Schedule
Wednesday, May 17 • 2:30pm - 4:00pm
The Mathematical Underpinnings of Promises in C++

Log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
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.pdf
Video: https://www.youtube.com/watch?v=2OY0Zn3oBCE

What 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

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.

avatar for David Sankel

David Sankel

Software Engineering TL, Bloomberg
David Sankel is a Software Engineering Manager/TL at Bloomberg and an active member of the C++ Standardization Committee. His experience spans microservice architectures, CAD/CAM, computer graphics, visual programming languages, web applications, computer vision, and cryptography... Read More →

Wednesday May 17, 2017 2:30pm - 4:00pm MDT