"ടൈപ്പ് സിസ്റ്റം" എന്ന താളിന്റെ പതിപ്പുകൾ തമ്മിലുള്ള വ്യത്യാസം

പ്രോഗ്രാമിങ് ഭാഷകളിൽ, ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ നിർമ്മിതികളായ വേരിയബിളുകൾ, എക്സ്പ്രഷനുകൾ, ഫംഗ്ഷനുകൾ അല്ലെങ്കിൽ ഘടകങ്ങൾ എന്നിവ ഒരു വസ്തുവിനെ തരംതിരിക്കുന്ന ഒരു കൂട്ടം നിയമങ്ങളെയാണ് '''ടൈപ്പ് സിസ്റ്റം'''(type system) എന്ന് വിളിക്കുന്നത്.{{sfn|Pierce|2002|p=1|ps=: "A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute."}}ഈ തരത്തിലുള്ളവ മറ്റൊരുവിധത്തിൽ ഉൾക്കൊള്ളുന്ന വിഭാഗങ്ങൾ രൂപവത്കരിക്കുകയും നടപ്പിലാക്കുകയും ചെയ്യുന്നു, ബീജഗണിത ഡാറ്റാ തരങ്ങൾ, ഡാറ്റ ഘടനകൾ അല്ലെങ്കിൽ മറ്റ് ഘടകങ്ങൾ (ഉദാ: "സ്ട്രിംഗ്", "ഫ്ലോട്ട് നിര", "ബൂളിയനിലേക്ക് മടങ്ങിവരുന്ന ഫങ്ഷനുകൾ") എന്നിവ പ്രോഗ്രാമർമാർ ഉപയോഗിക്കുന്നു. കമ്പ്യൂട്ടർ പ്രോഗ്രാമിലെ ബഗ്ഗുകൾക്കുള്ള സാദ്ധ്യതകൾ കുറയ്ക്കുക എന്നതാണ് ഒരു ടൈപ്പ് സിസ്റ്റത്തിന്റെ പ്രധാന ലക്ഷ്യം. {{sfn|Cardelli|2004|p=1|ps=: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program."}}ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ ഭാഗങ്ങൾ തമ്മിൽ ഇൻറർഫേസുകൾ നിർവ്വചിച്ചുകൊണ്ട്, ഭാഗങ്ങൾ സ്ഥിരമായ രീതിയിൽ ബന്ധിപ്പിച്ചിട്ടുണ്ടെന്ന് പരിശോധിക്കുക. ഈ പരിശോധന സ്ഥിരമായി (കംപൈൽ സമയത്ത്), ചലനാത്മകം (റൺ സമയത്ത്), അല്ലെങ്കിൽ സ്റ്റാറ്റിക്, ഡൈനാമിക് പരിശോധനയുടെ ഒരു സംയോജനമായി സംഭവിക്കാം. ടൈപ്പ് സിസ്റ്റങ്ങൾക്ക് മറ്റ് ഉദ്ദേശ്യങ്ങളുമുണ്ട്, അതായത് ബിസിനസ്സ് നിയമങ്ങൾ പ്രകടിപ്പിക്കൽ, ചില കമ്പൈലർ ഒപ്റ്റിമൈസേഷനുകൾ പ്രാപ്തമാക്കുകയും, ഒന്നിലധികം ഡിസ്പാച്ച് അനുവദിക്കുകയും, ഒരു ഡോക്യുമെന്റേഷൻ രൂപപ്പെടുത്തുക തുടങ്ങിയവ.