Explore dynamic, recursive, heterogeneous types in statically-typed languages in this CppNow conference talk. Delve into the challenges of representing dynamic dictionaries in C++ and discover a novel solution that leverages unique static-typing features. Learn how type-inference, user-defined conversions, type selection, and overloading can be combined to create a more intuitive approach to manipulating dynamic constructs. Examine the similarities and differences between dynamically-typed languages like Python and statically-typed languages like C++, and understand how to bridge the gap between them. Gain insights into implementing Python-like dictionaries and lists in C++, including techniques for inserts and deletes. This comprehensive presentation covers topics such as heterogeneous vs. homogeneous data structures, lessons from embracing Python, backwards compatibility, and practical implementation details.