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

പ്രോഗ്രാമിങ് ഭാഷകളിൽ, ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ നിർമ്മിതികളായ വേരിയബിളുകൾ, എക്സ്പ്രഷനുകൾ, ഫംഗ്ഷനുകൾ അല്ലെങ്കിൽ ഘടകങ്ങൾ എന്നിവ ഒരു വസ്തുവിനെ തരംതിരിക്കുന്ന ഒരു കൂട്ടം നിയമങ്ങളെയാണ് '''ടൈപ്പ് സിസ്റ്റം''' എന്ന് വിളിക്കുന്നത്.{{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."}}