Theory

Understand multimethods by the theory

Tuple of types distance

Distance on tuple of types

Distance comparators

Comparators on tuples of integers

Multimethod definition

Proper definition

Search for the best match

Only the best survive

Invoke with cache

A cache strategy

Asymmetric vs symmetric

Democratic or not?