المترجم ذكي بحيث يمكنه استنباط نوع المتغير عند تعيين قيمة له. وهذا يكون عن طريق الكلمة المفتاحية ليكن. فمثلا عادة ما نستخدم الشكل الآتي للتعريف :

    
    المتغير ا صحيح := 10	
                                                                                    

كون بذلك قد عرفنا بمتغير ا ذي نوع صحيح و اعطيناه القيمة 10. ماذا لو اردنا تخفيف العبارة أو اننا لا نعلم نوع مستسصدر من مكتبة أخرى ؟

هنا يأتي دور المترجم ليستنتج النوع بدل المطور. مثلا:

    
    ليكن ا := 10
                                                                                

العبارتنان التعريفيتان لهما نفس الأثر : نحصل على متغير عدد صحيح ذي القيمة 10، لكن المترجم هو الذي استنتجها من خلال العدد 10.

    الدالة  الاصل() {
    
         ليكن ا := 10
         
         المتغير ع  ۢ صحيح  
     
               
         ع := ؏ ا 
     
          اكتب(ڨ  ع  ) 	
        
            
    }