Edit This File

Open Questions

Type Complexities

There are some cases where the current type system is insufficient to convey all of the information of a type.

  1. Templated Types: Is the type just a string "T", or is it a DefKey to somewhere?
  2. Typed Collections, Eg: Array<int>, (String, Int)