On Saturday, 28 June 2014 at 21:51:17 UTC, Ary Borenszweig wrote:
I think it's common: http://julia.readthedocs.org/en/latest/manual/types/#tuple-types
Actually, that section is about normal tuples, there is no distinction between normal tuples and type tuples in julia.
From Julia repl: julia> typeof((1,1)) (Int64,Int64) julia> typeof(typeof((1,1))) (DataType,DataType) julia> typeof((Int64,1)) (DataType,Int64)So the equivalent to our TypeTuple is a normal tuple containing DataType types.