[anonymoushn]

By type-driven dispatch do you mean dynamic dispatch on more than 1 parameter? Most statically typed languages do not have this and you have to write a bunch of boilerplate to get them to pretend that they do.

[mintplant]

No, I'm referring to things like specialization, which you'll see used in any large language runtime built in C++, for example.

[anonymoushn]

So "type driven dispatch" meant only dispatch that can be decided at compile time? Is it even called dispatch at that point?

[mintplant]

Yeah, static dispatch.