[klibertp]

> Type-driven dispatch

Smalltalk and everything since then would like a word with you.

> And tagged unions (or algebraic datatypes) [...] type-directed features like pattern matching.

Erlang and Prolog would like to have a chat, too.

[mintplant]

I'm talking about language implementation, not features of languages implemented.