Type parameters which depend on other type parameters

New to Julia
5

If all you want is to guarantee its a square matrix, you don’t need to compute that last entry yourself, just do,

struct foo{N, SM<:SMatrix{N,N,Float64}}
    A :: SM
end

(note also its just N instead of N <: Integer).

3 Likes