The Importance of Dynamic Binding in C++

When you look at union types, that to me is almost the most pure form of it. But then there's something called an ad hoc protocol, which we see in say, Rust and Go and Python effectively,. It's basically the idea of duct typing except that it is statically checked. And I can write my code using that protocol. And you don't have to implement the protocol. So there's this whole spectrum of ways to do this.