പ്രധാന മെനു തുറക്കുക

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

(Type system എന്ന താളിൽ നിന്നും തിരിച്ചുവിട്ടതു പ്രകാരം)

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

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

ഉപയോഗ അവലോകനംതിരുത്തുക

ഒരു ലളിതമായ തരത്തിലുള്ള സംവിധാനത്തിന്റെ ഉദാഹരണമാണ് സി ഭാഷ. ഒരു സി പ്രോഗ്രാമിന്റെ ഭാഗങ്ങൾ ഫങ്ഷൻ നിർവചനങ്ങൾ ആണ്. ഒരു ഫങ്ഷൻ മറ്റൊരു ഫങ്ഷനാൽ നിർവഹിക്കപ്പെടുന്നു. ഒരു ഫങ്ഷന്റെ ഇന്റർഫേസ് ഫംങ്ഷന്റെ പേര്, ഫങ്ഷന്റെ കോഡ് നൽകിയിരിക്കുന്ന മൂല്യങ്ങളുടെ ഒരു ലിസ്റ്റ് എന്നിവ സൂചിപ്പിക്കുന്നു.

അവലംബംതിരുത്തുക

  1. Pierce 2002, പുറം. 1: "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."
  2. Cardelli 2004, പുറം. 1: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program."
"https://ml.wikipedia.org/w/index.php?title=ടൈപ്പ്_സിസ്റ്റം&oldid=3113117" എന്ന താളിൽനിന്ന് ശേഖരിച്ചത്