CppCon 2015: Sherri Shulman “Haskell Design Patterns for Genericity & Asynchronous Behavior”

—
—
The paper explores some of Haskell's support for genericity through type classes, Functors, Monads, and Continuations and their impact on lanugages such as C++, Scala, and Rust. We explore these language features and consider alternatives that have been proposed to existing language features, including Object Algebras, GADTs, Open data types, open pattern matching, and extensions to Haskell's type system that impact the type inference algorithm and decidability. We use a number of case studies to demonstrate what proposed solutions look like in the target languages, considering how easy they are to use and how well the solutions integrate with existing linguistic features.
—
Sherri Shulman is a member of the faculty in Computer Science at The Evergreen State College

I have been teaching at Evergreen for 23 years. My primary interests include language design, the role of types in programming, comparative programming languages, and higher order programming and its impact on software reuse. I regularly teach introduction to programming using Haskell and then transition to C and C++. I particularly like showing how different languages address similar problems, and how ideas from one language can be reflected in others.

C++ interests include generic programming, functional programming features, and higher order forms.
—

*-----*
*-----*

[pmcgee]

This is a phenomenal presentation. AAA+

[Xeverous]

25:15 example presents OOP approach but std::variant or boost::variant is more close to the Haskell

[leonhrad]

You should never put complete sentences on a slide. The talk was interesting in my opinion though.