Type Annotation & Type Inference
Penjelasan
Type annotation adalah penulisan tipe secara eksplisit setelah tanda titik dua (mis. let umur: number). TypeScript juga punya type inference — compiler bisa MENEBAK tipe otomatis dari nilai awal yang diberikan, jadi annotation eksplisit sebenarnya opsional kalau nilainya sudah jelas saat deklarasi. Annotation eksplisit tetap penting untuk parameter fungsi (yang tidak punya nilai awal) dan variabel yang dideklarasikan tanpa nilai.
Contoh Konsep
let a = 10; // TypeScript otomatis menebak: number
// a = "teks"; // Error! sudah terikat ke tipe number dari inference
let b: number; // annotation wajib karena belum ada nilai awal
b = 20;
function sapa(nama: string): string { // annotation wajib di parameter & return
return `Halo, ${nama}`;
}Praktikum
Buat variabel let skor = 100 (biarkan TypeScript menebak tipenya lewat inference, jangan tulis annotation). Buat fungsi gandakan(n: number): number yang mengembalikan n * 2, lalu panggil dengan skor dan tampilkan hasilnya.
Ketik/edit bebas di sini untuk latihan — kode ini tidak dijalankan.
Tips
Aturan praktis: biarkan TypeScript menebak tipe lewat inference untuk variabel lokal yang langsung diisi nilai (lebih ringkas), tapi SELALU tulis annotation eksplisit di parameter dan return type fungsi — supaya orang lain (atau kamu sendiri nanti) tahu kontrak fungsinya tanpa harus baca isi fungsinya.