C++Now 2017: David Sankel "The Mathematical Underpinnings of Promises in C++"
Channel: CppNow
Date: 06/06/2017

http://cppnow.org
—
Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/boostcon/cppnow_presentations_2017
—
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 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.
— 
David Sankel is a professional software developer/architect based in the USA and an active member of the C++ Standardization Committee. His prolific software developments have included CAD/CAM, computer graphics, visual programming languages, web applications, computer vision, and cryptography. He is a frequent speaker at the C++Now conferences and is especially well known for his advanced functional programming in C++ talks. David’s interests include large-scale development, dependently typed languages, semantic domains, EDSLs, and functional reactive programming. David's current research interests include dependently typed languages, semantic domains, EDSLs, and functional reactive programming. He currently works for Bloomberg.
—
Videos Filmed & Edited by Bash Films: http://www.BashFilms.com
---

*--*

---