Dynamic, Recursive, Heterogeneous Types in Statically-Typed Languages

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.

Introduction
Abstract
Python dictionaries
Why Python
Outline
DynamicallyTyped
StaticallyTyped
Heterogeneous vs Homogeneous
Recursive
History
Opal
Opal Success
Opal failures
Extraction
Number
M2K Lessons
Python
Lessons from embracing Python
Python is popular
Python inheritance
Python interpreter
The Holy Trinity
Python vs C
Implementation details
Vowel implementation
String implementation
Overload
Backwards Compatibility
Size T
Valve
Ifdef
Type Selection
UserDefined Conversion
Summary
Dictionaries
Python List
Python Dictionary
Inserts and Deletes