Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Wednesday, May 17 • 2:30pm - 4:00pm
The Mathematical Underpinnings of Promises in C++

Log in to save this to your schedule and see who's attending!

Feedback form is now closed.
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.

Speakers
avatar for David Sankel

David Sankel

Bloomberg
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... Read More →


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

Attendees (37)