Apa Itu Inferensi Tipe?

Inferensi tipe adalah fitur dalam TypeScript yang secara otomatis menentukan tipe suatu variabel atau ekspresi berdasarkan nilainya.

Misalnya, ketika Anda menulis let age = 25;, TypeScript menyimpulkan bahwa age bertipe number.

Manfaat Inferensi Tipe

Inferensi tipe mengurangi kebutuhan untuk mendeklarasikan tipe secara eksplisit, sehingga kode Anda lebih bersih dan lebih mudah ditulis.

Inferensi tipe juga membantu TypeScript menemukan kesalahan selama pengembangan, sehingga keamanan tipe tetap terjaga tanpa menambahkan anotasi tambahan.

Contoh Inferensi Tipe

Berikut beberapa contohnya: 

• let message = 'Hello'; - TypeScript menyimpulkan tipenya sebagai string. 
• const isActive = true; - TypeScript menyimpulkan tipenya sebagai boolean.

Inferensi tipe juga berfungsi pada nilai yang dikembalikan fungsi:

function add(a: number, b: number) {
  return a + b;
}

Apa Itu Pengetikan Kontekstual?

Pengetikan kontekstual terjadi ketika TypeScript menetapkan tipe ke suatu variabel berdasarkan konteks di sekitarnya.

Misalnya, saat menggunakan pendengar peristiwa, TypeScript menyimpulkan tipe parameter event:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

Manfaat Pengetikan Kontekstual

Pengetikan kontekstual meningkatkan pengalaman pengembang dengan mengurangi kebutuhan akan anotasi tipe secara manual.

Pengetikan ini membantu menemukan kesalahan dan memastikan bahwa Anda bekerja dengan tipe yang tepat dalam konteks tertentu.

Skenario Umum untuk Inferensi Tipe

TypeScript melakukan inferensi dalam banyak situasi, seperti:

• Inisialisasi variabel: let name = 'John';
• Nilai yang dikembalikan fungsi: function greet() { return 'Hello'; }
• Nilai array: let numbers = [1, 2, 3]; (disimpulkan sebagai number[]).

Kapan Menggunakan Tipe Eksplisit

Meskipun inferensi tipe TypeScript sangat kuat, ada beberapa kasus ketika tipe eksplisit lebih baik:

• Ketika tipenya ambigu atau kompleks.
• Untuk parameter fungsi agar kejelasannya terjamin.
• Untuk API publik, karena tipe eksplisit meningkatkan keterbacaan dan kemudahan pemeliharaan.

Latihan: Inferensi Tipe dan Pengetikan Kontekstual

Tulislah fungsi yang menerima dua angka sebagai masukan dan mengembalikan jumlahnya. TypeScript akan menyimpulkan tipenya untuk Anda!

Contoh:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

Kerja Bagus!

Anda telah mempelajari cara TypeScript menggunakan inferensi tipe dan pengetikan kontekstual untuk membuat kode Anda efisien dan aman secara tipe. Terus jelajahi fitur-fitur canggih TypeScript untuk meningkatkan keterampilan pemrograman Anda!