Юля: что означает символ «<:»?

<:( Т1, Т2)

Оператор подтипа: возвращает true тогда и только тогда, когда все значения типа T1 равны также типа T2.

Примеры:

Float64 <: AbstractFloat
=> true

Vector{Int} <: AbstractArray
=> true

Matrix{Float64} <: Matrix{AbstractFloat}
=> false

Строго говоря, следует различать предикат Base.:(<:), как описано в ответе @Saqib, и синтаксическое использование <: для описания ограничений.

Это синтаксическое использование может иметь место в объявлениях параметров типа методов, чтобы ограничить переменную типа подтипом другого типа:

f(x::T) where {T<:Real} = zero(x)

Своеобразный особый случай этого - когда вы ограничиваете параметр типа структуры (struct Foo{T<:Real} ... end), который ограничивает методы сгенерированного конструктора и позволяет применять конструктор типа только к ограниченным подтипам.

С другой стороны, помимо параметров типа, <: можно использовать для объявления нового типа как подтипа другого (обязательно абстрактного) типа:

struct Foo <: Real end

Хотя оба случая соответствуют значению предиката подтипа, вы не можете заменить их другими произвольными выражениями (например, вы не можете записать ... where {isreal(T)} в f).