[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.