तो, चर का सही प्रकार एक सही प्रकार की बाधाओं के लिए मैप करेगा और एक वांछनीय प्रकार का चर एक वांछित प्रकार के बाधाओं के लिए मैप करेगा।
எனவே, சரியான வகையான மாறி சரியான வகை கட்டுப்பாடுகளுக்கு வரைபடமாக இருக்கும், மேலும் விரும்பத்தக்க வகை மாறி மிகவும் விரும்பத்தகாத வகை தடைகளுக்கு வரைபடமாக இருக்கும்.