Daftar Isi:
Definisi - Apa Arti Jenis Inferensi?
Jenis inferensi adalah deduksi otomatis dari tipe data ekspresi spesifik dalam bahasa pemrograman, biasanya dilakukan pada waktu kompilasi. Ini melibatkan menganalisis suatu program dan kemudian menyimpulkan berbagai jenis beberapa atau semua ekspresi dalam program itu sehingga programmer tidak perlu secara eksplisit memasukkan dan menentukan tipe data setiap kali variabel digunakan dalam program.Techopedia menjelaskan Jenis Inferensi
Jenis inferensi sering merupakan fitur kompiler dari bahasa pemrograman fungsional daripada yang berorientasi objek. Compiler atau interpreter hanya membutuhkan informasi minimal serta konteks untuk mengetahui tipe data dari suatu variabel atau ekspresi.
Algoritma inferensi mencoba untuk menentukan jenis argumen serta jenis nilai kembali dan kemudian mencoba untuk menemukan tipe data paling spesifik yang bekerja dengan semua argumen. Sebagai contoh dasar, pertimbangkan fungsi Foo (a, b) = x + y; kompiler tahu bahwa operator "+" mengambil dua bilangan bulat dan juga mengembalikan bilangan bulat, jadi sekarang kompiler atau juru bahasa dapat menyimpulkan bahwa Foo juga memiliki tipe integer.
