The City of Interfaces

The City of Interfaces is a place of strong typing and strict contracts. The citizens debate the nature of pointers and the cost of abstraction. Everything here is generic, yet specific.

The bridges are built with type parameters, ensuring that only the correct travelers may cross. It is a city of logical purity, where a compilation error is a moral failing.

"We define behavior," the gopher says, "not data."