3 ms·
> Type-driven dispatch Smalltalk and everything since then would like a word with you. > And tagged unions (or algebraic datatypes) [...] type-directed featur
by klibertp 6y ago
> 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 6y agoI'm talking about language implementation, not features of languages implemented.