Môžete vysvetliť koncept spojeného typu v kontexte typovania?

Priradený typ (associated type) je koncept v typovaní, často sa vyskytujúci v programovacích jazykoch s generikami, napríklad v Swift.

Umožňuje protokolu (rozhraniu) deklarovať zástupný symbol pre typ, ktorý bude definovaný konkrétnym typom, ktorý tento protokol implementuje. To poskytuje flexibilitu a umožňuje vytvárať abstraktnejšie a znovu použiteľné konštrukcie.

Napríklad v Swift:

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

Tu je Item priradený typ, ktorý konkrétny kontajner sám určí (napríklad pole môže definovať Item ako Int alebo iný typ).

Týmto spôsobom umožňuje priradený typ, aby protokoly boli generické, ale zároveň si zachovávajú informácie o konkrétnych typoch, s ktorými pracujú.