[provenance-challenge] Re: Representing collections in OPM -- proposal draft

[Ben Clifford]

page 4 of this document seems to imply that all artifacts in a collection 
are of the same "type".

In Swift, there are DSHandles that contain other DSHandles (and so in the 
OPM representations artifacts that contain other artifacts) that look more 
like C structs rather than C arrays, as far as Swift-level types are 
concerned.

For example:  type T { string name; int age; }

There will be DSHandles of type T, and each of those artifacts will 
contain a DSHandle of Swift type string and a DSHandle of Swift type int.

Are the types described at the start of s4.1 intended to reflect that sort 
of Swift-level type (strings, ints, T). If so, then it would be nice if 
collections could accomodate the above kind of structure.

--