Dependence

type typearray = t\ array\<s\ int,type>; //var parameterarguments = \[int, bool, string]; //inferred as array<3, type> {int, bool, string } //typearray ta = parameterarguments;//since it's just an alias to this type structure tuple\<ta\ typearray> { this(tuple\<ta> values) { //in practice the tuple type is seeded //if you think about it, you must pass in a tuple of values to a tuple to start it //that passed in tuple's type signature much matter the new instance of the tuple //in this way tuples, are elementary like arrays //we can express their behavior and signature within the langauge } } type parameterset = t\ tuple\<ta\ typearray>; //really complicated way of saying it's an instantied instance of a tuple //with these specific values in this order //for example //var tuple = new tuple<\[int,bool,string]>(3, false, "honk"); //var tuple = new tuple\<ta>(3, false, "honk");