Tipologiyada əlaqəli növ anlayışını izah edə bilərsinizmi?

Əlaqəli növ (associated type) tipləşdirmədə bir konsepsiyadır və adətən Swift kimi generiklərə malik proqramlaşdırma dillərində rast gəlinir.

Bu, protokolun (interfeys) üçün bir yer tutucu (placeholder) elan etməyə imkan verir; bu yer tutucu, bu protokolu həyata keçirən konkret bir növ tərəfindən müəyyən ediləcək. Bu, elastiklik təmin edir və daha ümumi və təkrar istifadə edilə bilən quruluşlar yaratmağa imkan verir.

Məsələn, Swift-də:

protocol Container {
    associatedtype Item
    func append(_ item: Item)
    var count: Int { get }
    subscript(i: Int) -> Item { get }
}

Burada, Item əlaqəli növdür və konkret konteyner onu özü müəyyən edəcək (məsələn, massiv Item-i Int və ya başqa bir növ kimi təyin edə bilər).

Bu şəkildə, əlaqəli növ protokolların ümumi olmasına imkan verir, lakin eyni zamanda onlar işlədiyi konkret növlər haqqında məlumat saxlayır.