Travis Oliphant wrote:
I'm not sure I understand what you mean by "incomplete / recursive" types unless you are referring to something like a node where an element of the structure is a pointer to another structure of the same kind (like used in linked-lists or trees).
Yes, and more complex arrangements of types that reference each other.
If that is the case, then it's easily supported once support for pointers is added.
But it doesn't fit easily into the single-object model.