Futures Without Type Erasure

This course explores the possibility of implementing composable futures in C++ without dynamic allocation and type erasure. The learning outcomes include understanding the design and implementation of an experimental future library using template metaprogramming and compile-time transformations. The course covers C++17 language and library features, providing insights into running time, compilation time, and generated assembly benchmarks/comparisons. The intended audience should be familiar with C++11/14 features and `std::future` (or `boost::future`), with knowledge of C++17 features recommended but not required.