Tolong jelaskan mengenai Inferens jenis dalam bahasa melayu

Inferens jenis merujuk kepada ciri bahasa pengaturcaraan yang tegasnya dijeniskan secara statik di mana jenis sesuatu pemboleh ubah dikenal pasti secara automatik. Sebagai contoh, di dalam bahasa pengaturcaraan C, pemboleh ubah diisytiharkan dengan menyatakan jenisnya secara eksplisit seperti berikut: