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

[David Holland]

On Thu, Jun 18, 2009 at 04:02:47PM +0000, Ben Clifford wrote:
 > page 4 of this document seems to imply that all artifacts in a collection 
 > are of the same "type".
 > 
 > In Swift, there are [structure types...]

In general, for a type system to stay statically decidable, collection
types have to have either a fixed size (structures, tuples) or a fixed
member type (lists, arrays).

I'm not sure that it's necessary for OPM types to be statically
decidable. But it may be desirable; in that case we'd want to have
"tuples" as well as "collections".

-- 
   - David A. Holland / dholland at eecs.harvard.edu