Оё метавонед мафҳуми навъи пайвастаро дар контексти типгузорӣ шарҳ диҳед?

Намояндаги навъ (associated type) як консепт дар типсозӣ мебошад, ки дар забонҳои барномасозӣ бо генерикҳо, масалан, дар Swift, маъмул аст.

Он ба протокол (интерфейс) имкон медиҳад, ки ҷойи холӣ барои як навъ эълон кунад, ки онро навъи мушаххасе, ки ин протоколро иҷро мекунад, муайян мекунад. Ин қобилияти фаровонро таъмин мекунад ва имкон медиҳад, ки сохторҳои мукаммалтар ва такроршаванда эҷод кунанд.

Масалан, дар Swift:

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

Ин ҷо, Item навъи мутааллиқ аст, ки контейнери мушаххас онро худ муайян мекунад (масалан, массив метавонад Item-ро ҳамчун Int ё ҳар навъи дигар муайян кунад).

Бинобар ин, навъи мутааллиқ имкон медиҳад, ки протоколҳо умумӣ бошанд, вале ҳамзамон маълумот дар бораи навъҳои мушаххас, бо онҳо кор мекунанд, нигоҳ доранд.