3 ms·
Nice one. Sounds like you guys have thought hard about the right balance between expressivity and allowing these structures to become excessively hard to reason
by mjw 14y ago
Nice one. Sounds like you guys have thought hard about the right balance between expressivity and allowing these structures to become excessively hard to reason about or traverse.
Incidentally I found the use of topological manifold terminology (atlas of coordinate charts, homeomorphisms, ...) in the slides quite intriguing, are there topological connections here or is that more just an analogy?
- freyrs3 14y agoThere is a connection, we can view mappings between linear memory spaces to higher arrays constructs as a series of coordinate transformations in the same way we deal with transformations between charts on manifolds. Except in our case our charts are necessarily disjoint, so the boundary conditions on charts are trivial.