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

 

ഒരു തരം സിസ്റ്റം കണക്കുകൂട്ടുന്ന ഓരോ മൂല്യവും ഒരു തരം സഹിതം, ഈ മൂല്യത്തിന്റെ ഒഴുക്ക് പരിശോധിച്ചുകൊണ്ട്, ടൈപ്പ് പിശകുകൾ ഉണ്ടാകാമെന്ന് ഉറപ്പ് വരുത്താനോ അല്ലെങ്കിൽ തെളിയിക്കാനോ ശ്രമിക്കുന്നു. ചോദ്യത്തിൽ നൽകിയിരിക്കുന്ന തരം സംവിധാനം ഒരു തരത്തിലുള്ള തെറ്റ് തന്നെയാണ് നിശ്ചയിക്കുന്നത്. പക്ഷേ, ഒരു പ്രത്യേക തരത്തിലുള്ള മൂല്യം ഉപയോഗിക്കുന്നത് മൂല്യവത്താകാത്ത (ലോജിക്കൽ പിശകുകൾ) മൂല്യങ്ങൾ ഉപയോഗിക്കുന്നതിൽ നിന്ന് തടയുന്നതിനെയാണ് ഉദ്ദേശിക്കുന്നത്. ടൈപ്പ് സംവിധാനങ്ങൾ പലപ്പോഴും പ്രോഗ്രാമിങ് ഭാഷകളുടെ ഭാഗമായിട്ടാണ് സൂചിപ്പിച്ചിരിക്കുന്നത്, അവയിൽ വ്യാഖ്യാതാക്കളും കംപൈലറുകളും നിർമ്മിക്കപ്പെടുന്നു; ഭാഷയുടെ യഥാർത്ഥ സംവിധാന വാക്യഘടനയും, വ്യാകരണവും ഉപയോഗിച്ചുള്ള കൂടുതൽ തരത്തിലുള്ള പരിശോധന നടപ്പിലാക്കുന്ന ഉപാധിയുടെ തരം സംവിധാനം ഓപ്ഷണൽ ഉപകരണങ്ങളിലൂടെ വ്യാപിപ്പിക്കാൻ കഴിയും.

==അവലംബം==