Convergent Evolution

on YouTube ↗08m

" summary

Argues that C++ concepts and Haskell type classes are convergent solutions, framed by the Curry–Howard correspondence; demonstrates with a concrete example: sort requires a total order and that requirement is an implicit proof carried as an implicit parameter (a record of operations) indexed by type. Shows how Haskell class hierarchies map to C++ template constraints, uses qsort/compare and examples from libraries, and claims this pattern both simplifies templates and actually works as a compiler-time lookup mechanism.

AI-written summary · about

" chapters (8)

1. 0:00Intro
2. 0:58THERE'S NO GREAT INSIGHT HERE
3. 1:33PROGRAMS ARE PROOFS
4. 2:28WHAT DOES IT MEAN?
5. 3:27WHAT IS A CONSTRAINT?
6. 4:25SO... WHY CONCEPTS/TYPE CLASSES?
7. 6:26DRINK THE KOOL-AID
8. 7:41FURTHER READING

" related talks

• 56mConcepts - Evolution or RevolutionRainer Grimm · Meeting C++ 2019
• 01h 01mthe Concepts of conceptsSandor Dargo · Meeting C++ 2021
• 56mEvolving a Nice TrickPatrice Roy · CppCon 2021
• 01h 05mExpressing Implementation Sameness and Similarity - Polymorphism in Modern C++Daisy Hollman · CppCon 2023
• 01h 09mFunctional Programming in C++Nicola Gigante · Meeting C++ 2015
• 01h 01mthe Concepts of conceptsSandor Dargo · Meeting C++ 2021
• 01h 30mC++ in Constrained EnvironmentsBjarne Stroustrup · CppCon 2022
• 01h 39mKeynote - C++ Metaprogramming: evolution and future directionLouis Dionne · Meeting C++ 2016