Masalah yang Diatasi Generics

Bayangkan kamu membutuhkan fungsi yang hanya mengembalikan nilai apa pun yang kamu berikan kepadanya: fungsi identitas. Dengan tipe yang sudah kamu ketahui sejauh ini, ada dua pilihan, dan keduanya merepotkan.

Pilihan pertama: tulis salinan terpisah untuk setiap tipe. Isi fungsi sama, hanya anotasinya yang berbeda:

local function echoNumber(value: number): number
    return value
end

local function echoString(value: string): string
    return value
end

Setiap tipe baru berarti salinan tambahan, dan bug yang diperbaiki di satu salinan harus diperbaiki di semuanya. Itulah duplikasi yang seharusnya kamu hindari dengan menulis fungsi.

Pilihan kedua: satukan semuanya menjadi satu fungsi dengan tipe any:

local function echo(value: any): any
    return value
end

Sekarang satu fungsi menangani semuanya, tetapi kamu mengorbankan keamanan tipe. Saat kamu memanggil echo("hello"), pemeriksa tidak lagi mengetahui bahwa hasilnya berupa string. Pemeriksa hanya mengetahui any, sehingga pelengkapan otomatis tidak lagi membantu dan error tipe lolos begitu saja: hubungan antara nilai yang masuk dan yang keluar pun hilang.

Yang sebenarnya kamu inginkan adalah fungsi yang bekerja untuk setiap tipe dan mengingat tipe yang digunakan pada setiap pemanggilan. Itulah tepatnya yang diberikan oleh generik, dan itulah topik bab ini.