Types

> Most Type systems use a concept of “Name”. If two *types* have the same name, then they must be equivalent. Names don’t work for any situation where we care about Behaviour, and they really don’t work across languages, processes, or computers. They’re also very much not modular.

See Being the Same.

.