Imagining a big grid of contexts against types, with behaviors in each box. Then the implementation gets refactored with reference to it, centralizing many conditional constructs, and providing a tractable process for discussing and resolving edge conditions.Thread Previous