Můžete vysvětlit koncept spojeného typu v kontextu typování?

Přiřazený typ (associated type) je koncept v typování, často se vyskytující v programovacích jazycích s generiky, například v Swift.

Umožňuje protokolu (rozhraní) deklarovat zástupný symbol pro typ, který bude definován konkrétním typem, který tento protokol implementuje. To poskytuje flexibilitu a umožňuje vytvářet abstraktnější a znovu použitelnější konstrukce.

Například v Swift:

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

Zde je Item přiřazený typ, který konkrétní kontejner sám určí (například pole může definovat Item jako Int nebo jiný typ).

Tímto způsobem umožňuje přiřazený typ, aby protokoly byly generické, ale zároveň si zachovaly informace o konkrétních typech, se kterými pracují.