ടൈപ്പ് സിസ്റ്റം

കമ്പ്യൂട്ടർ പ്രോഗ്രാമിംഗിൽ, ഓരോ "പദത്തിനും" (ഒരു വാക്ക്, ശൈലി അല്ലെങ്കിൽ മറ്റ് ചിഹ്നങ്ങളുടെ കൂട്ടം) പുറമെ ടൈപ്പ് (ഉദാഹരണത്തിന്, പൂർണ്ണസംഖ്യ(integer), ഫ്ലോട്ടിങ്ങ് പോയിന്റ്, സ്ട്രിംഗ്) എന്ന് വിളിക്കുന്ന ഒരു പ്രോപ്പർട്ടി അസൈൻ ചെയ്യുന്നതിന് വേണ്ടി ഒരു കൂട്ടം നിയമങ്ങൾ ഉൾക്കൊള്ളുന്ന ഒരു ലോജിക്കൽ സിസ്റ്റമാണ് "ടൈപ്പ് സിസ്റ്റം". സാധാരണയായി പദങ്ങൾ ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ നിർമ്മിതികളാണ്, അതായത് വേരിയബിളുകൾ, എക്സ്പ്രഷനുകൾ, ഫംഗ്‌ഷനുകൾ അല്ലെങ്കിൽ മൊഡ്യൂളുകൾ മുതലായവ.^[1]ഒരു ടൈപ്പ് സിസ്റ്റം ഒരു ടേമിൽ ചെയ്യാവുന്ന പ്രവർത്തനങ്ങൾ നിർദ്ദേശിക്കുന്നു. വേരിയബിളുകൾക്കായി, ടൈപ്പ് സിസ്റ്റം ആ പദത്തിന്റെ അനുവദനീയമായ മൂല്യങ്ങൾ നിർണ്ണയിക്കുന്നു. ആൾജിബ്രോയിക് ഡാറ്റാ ടൈപ്പുകൾ, ഡാറ്റാ സ്ട്രക്ചറുകൾ അല്ലെങ്കിൽ മറ്റ് കമ്പോണന്റുകൾ (ഉദാ: "സ്ട്രിംഗ്", "അറേ ഓഫ് ഫ്ലോട്ട്", "ഫംഗ്ഷൻ റിട്ടേണിംഗ് ബൂളിയൻ") എന്നിവയ്ക്കായി പ്രോഗ്രാമർ മറ്റുതരത്തിൽ ഉപയോഗിക്കുന്ന ഇമ്പ്ലിസിറ്റ് കാറ്റഗറീസ് ടൈപ്പ് സിസ്റ്റങ്ങൾ ഔപചാരികമാക്കുകയും നടപ്പിലാക്കുകയും ചെയ്യുന്നു.

ടൈപ്പ് സിസ്റ്റങ്ങൾ പലപ്പോഴും പ്രോഗ്രാമിംഗ് ഭാഷകളുടെ ഭാഗമായി വ്യക്തമാക്കുകയും ഇന്റർപ്രെറ്ററുകളിലും കംപൈലറുകളിലും നിർമ്മിക്കപ്പെടുകയും ചെയ്യുന്നു, എന്നിരുന്നാലും ഭാഷയുടെ യഥാർത്ഥ ടൈപ്പ് സിന്റാക്സും സെമാന്റിക്സും ഉപയോഗിച്ച് അധിക പരിശോധനകൾ നടത്തുന്നതിന് വേണ്ടി ഉപയോഗിക്കുന്ന ഓപ്ഷണൽ ടൂളുകൾ ഉപയോഗിച്ച് ഒരു ഭാഷയുടെ ടൈപ്പ് സിസ്റ്റം വിപുലീകരിക്കാൻ കഴിയും. ഒരു പ്രോഗ്രാമിംഗ് ഭാഷയിലെ ഒരു ടൈപ്പ് സിസ്റ്റത്തിന്റെ പ്രധാന ലക്ഷ്യം ടൈപ്പ് പിശകുകൾ കാരണം കമ്പ്യൂട്ടർ പ്രോഗ്രാമുകളിലെ ബഗുകൾക്കുള്ള സാധ്യതകൾ കുറയ്ക്കുക എന്നതാണ്.^[2] ചോദ്യത്തിൽ നൽകിയിരിക്കുന്ന ടൈപ്പ് സിസ്റ്റം ടൈപ്പ് എറർ എന്താണെന്ന് നിർണ്ണയിക്കുന്നു, എന്നാൽ പൊതുവേ, ആ പ്രവർത്തനത്തിന് അർത്ഥമില്ലാത്ത മൂല്യങ്ങൾ ഉപയോഗിച്ച് ഒരു നിശ്ചിത മൂല്യം പ്രതീക്ഷിക്കുന്ന പ്രവർത്തനങ്ങൾ തടയുക എന്നതാണ് ലക്ഷ്യം (വാലിഡിറ്റി എറേഴ്സ്). ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ ഭാഗങ്ങൾക്കിടയിലുള്ള ഇന്റർഫേസുകൾ നിർവചിക്കാൻ ടൈപ്പ് സിസ്റ്റങ്ങൾ അനുവദിക്കുന്നു, തുടർന്ന് വരുന്ന ഭാഗങ്ങൾ സ്ഥിരമായ രീതിയിൽ ബന്ധിപ്പിച്ചിട്ടുണ്ടോയെന്ന് പരിശോധിക്കുന്നു. ഈ പരിശോധന സ്ഥിരമായി (കംപൈൽ സമയത്ത്), ചലനാത്മകമായി (റൺ ടൈമിൽ) അല്ലെങ്കിൽ ഇവ രണ്ടിന്റെയും സംയോജനമായോ സംഭവിക്കാം. ബിസിനസ്സ് നിയമങ്ങൾ പ്രകടിപ്പിക്കുക, ചില കംപൈലർ ഒപ്റ്റിമൈസേഷനുകൾ പ്രാപ്തമാക്കുക, ഒന്നിലധികം ഡിസ്പാച്ച് അനുവദിക്കുക, ഡോക്യുമെന്റേഷൻ ഒരു ഫോം നൽകുക എന്നിങ്ങനെയുള്ള മറ്റ് ഉദ്ദേശ്യങ്ങളും ടൈപ്പ് സിസ്റ്റങ്ങൾക്ക് ഉണ്ട്.