language design

Types as namespaces

Musings inspired by Eevee's post about Sylph. Read that first.

In Python's duck-typing system, it's enough if things quack. They don't actually need to quack like a duck.