Isi kandungan:
Definisi - Apakah maksud Inference Jenis?
Jenis kesimpulan adalah potongan automatik bagi jenis data ungkapan tertentu dalam bahasa pengaturcaraan, biasanya dilakukan pada masa kompilasi. Ia melibatkan menganalisis program dan kemudian menyimpulkan pelbagai jenis atau semua ungkapan dalam program itu supaya programmer tidak perlu memasukkan dan menentukan secara jelas setiap jenis data setiap pembolehubah masa digunakan dalam program ini.Techopedia menerangkan Inference Jenis
Jenis keseragaman sering merupakan ciri pengkompil bagi bahasa pengaturcaraan fungsional dan bukannya berorientasikan objek. Pengkompil atau jurubahasa hanya memerlukan maklumat minima dan konteks untuk mengetahui jenis data pemboleh ubah atau ungkapan.
Algoritma kesimpulan cuba untuk menentukan jenis argumen serta jenis nilai pulangan dan kemudian cuba untuk mencari jenis data yang paling spesifik yang berfungsi dengan semua argumen. Sebagai contoh asas, pertimbangkan fungsi Foo (a, b) = x + y; pengkompil tahu bahawa pengendali "+" mengambil dua integer dan juga mengembalikan integer, jadi sekarang pengkompil atau penterjemah dapat membuat kesimpulan bahawa Foo juga mempunyai integer jenis.
