Open Questions
Type Complexities
There are some cases where the current type system is insufficient to convey all of the information of a type.
- Templated Types: Is the type just a string "T", or is it a DefKey to somewhere?
- Typed Collections, Eg:
Array<int>
,(String, Int)