Behaviour of nested alias type parameters

New to Julia
4

Thanks a lot!

I did not realize that the where was not necessary in this case. It is indeed cleaner (and less error-prone) with this syntax.

There’s still some confusing stuff:

julia> Type1 = Tuple{A,B} where {A,B}
Tuple{A,B} where B where A

julia> Type2 = Tuple{A,B} where {B,A}
Tuple{A,B} where A where B

julia> Type1 == Type2
true

julia> Type1{1,2}
Tuple{1,2}

julia> Type2{1,2}
Tuple{2,1}

julia> Type1{1,2} == Type2{1,2}
false
1 Like