Kas saaksite selgitada üldtüüpide või mallide kontseptsiooni programmeerimises?

Üldised tüübid (generics) või mallid võimaldavad kirjutada funktsioone, klasse või liideseid, mis töötavad erinevate andmetüüpidega, säilitades samal ajal tüübi turvalisuse. See tähendab, et saab luua universaalseid komponente ilma koodi dubleerimata iga konkreetse tüübi jaoks.

Näiteks TypeScriptis saab kirjutada funktsiooni, mis tagastab mis tahes tüüpi massiivi esimese elemendi:

function getFirstElement<T>(arr: T[]): T {
  return arr[0];
}

const num = getFirstElement([1, 2, 3]); // tüüp number
const str = getFirstElement(["a", "b"]); // tüüp string

Siin on <T> tüübi parameeter, mis asendatakse funktsiooni kutsumisel. See suurendab koodi paindlikkust ja taaskasutatavust ning aitab vältida tüüpi vigu.