Polymorphism Unbound

on YouTube ↗41m

" summary

Claims that polymorphism is essentially a type that represents multiple types and demonstrates concrete examples and tradeoffs across C++, Java, Python, Kotlin, Scala, Rust and Go. Provides runnable examples in GitHub repo: polymorphism Unbound and shows what compilers actually check: C++ templates and Kotlin generics compile time, JVM erasure that prevents returning precise types, Scala 3 and Python unions with exhaustiveness checking and Python structural typing that fails at runtime. Rust compiler helps debug examples so the patterns actually compile or fail.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 3:06How did we get here?
3. 14:28Subtype Polymorphism
4. 17:16Multiple Inheritance
5. 21:40Parametric Polymorphism (Generics)
6. 38:41Code Reuse with Inheritance

" related talks

• 11mThe Secrets of Polymorphic VariantsSean Grove · ReasonConf 2019
• 01h 01mConcepts vs Typeclasses vs Traits vs ProtocolsConor Hoekstra · Meeting C++ 2020
• 49mThe Trouble With TypesMartin Odersky · Strange Loop 2013
• 22mSubtyping is OverratedCaleb Meredith · ReactEurope 2018
• 22mIs Space-Efficient Polymorphic Gradual Typing Possible?Taro Sekiyama, Atsushi Igarashi, Shota Ozaki · Scheme 2021
• 31mNothing Generic About ItMatthew Gerstman · WFH Conf 2020
• 38mType Systems - The Good, Bad and UglyPaul Snively, Amanda Laucher · Strange Loop 2014
• 19mBidirectional Higher-Rank Polymorphism with Intersection and Union TypesChen Cui, Shengyi Jiang · POPL 2025