ടൈപ്പ് സിസ്റ്റം
| Type systems |
|---|
| General concepts |
| Major categories |
|
| Minor categories |
| See also |
കമ്പ്യൂട്ടർ പ്രോഗ്രാമിംഗിൽ, ഓരോ പദത്തിനും അതിന്റെ സ്വഭാവം എന്താണെന്ന് അറിയിക്കുന്ന സംവിധാനമാണ് ടൈപ്പ് സിസ്റ്റം. (ഉദാഹരണത്തിന്, പൂർണ്ണസംഖ്യ(integer), ഫ്ലോട്ടിങ്ങ് പോയിന്റ്, സ്ട്രിംഗ്) ഒരു സംഖ്യയാണോ അല്ലെങ്കിൽ വാക്കുകളുടെയും അക്ഷരങ്ങളുടെയും കൂട്ടമായ വാക്ക് (സ്ട്രിംഗ്) ആണോ എന്ന് ടൈപ്പ് സിസ്റ്റം ഉപയോഗിച്ച് വ്യക്തമായി തിരിച്ചറിയാൻ കഴിയും. അത് കൊണ്ട് തന്നെ പ്രോഗ്രാമിൽ പിശകുകൾ ഒഴിവാക്കുകയും ഫലപ്രദമായി പ്രവർത്തിക്കുകയും ചെയ്യുന്നു. പ്രോഗ്രാമിംഗിൽ, ഓരോ മൂല്യത്തിനും ഒരു ടൈപ്പ് സിസ്റ്റം അതിന്റെ സ്വഭാവം നിർണ്ണയിക്കുന്നു. ഉദാഹരണത്തിന്, `x = 10` ഒരു ഇന്റിജർ (പൂർണ്ണസംഖ്യ) ആണെന്നും `name = "Subin"` ഒരു സ്ട്രിങ് (വാക്ക്) ആണെന്നും ടൈപ്പ് സിസ്റ്റം തിരിച്ചറിയുന്നു. ടൈപ്പ് സിസ്റ്റം മൂല്യങ്ങളുടെ സ്വഭാവം ശരിയായി തിരിച്ചറിയുന്നതിനാൽ, പ്രോഗ്രാമിൽ തെറ്റായ ഗണിത ക്രിയകൾ ചെയ്യുന്നതോ, അയോഗ്യമായ പ്രവർത്തനങ്ങൾ നടത്തുന്നതോ ഒഴിവാക്കുന്നു. ഉദാഹരണത്തിന്, ഒരു സംഖ്യയുമായും ഒരു വാക്കുമായും കൂട്ടിച്ചേർക്കാൻ ശ്രമിച്ചാൽ (e.g., `10 + "Subin"`), ടൈപ്പ് സിസ്റ്റം ഇത് പിശകാണെന്ന് കാണിച്ചു നൽകും. ഇത് പ്രോഗ്രാമിന്റെ കൃത്യതയും വിശ്വാസ്യതയും ഉറപ്പാക്കുന്നു. സാധാരണ ഭാഷയിൽ പറഞ്ഞാൽ, പദങ്ങൾ ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ ഭാഗങ്ങളാണ്, അതായത് നിലവിലുള്ള ഡാറ്റ (വേരിയബിളുകൾ), കണക്കുകൾ അല്ലെങ്കിൽ പ്രവർത്തനങ്ങൾ (എക്സ്പ്രഷനുകൾ), ഒരു പ്രത്യേക ജോലി ചെയ്യുന്ന കോഡ് കഷണങ്ങൾ (ഫംഗ്‌ഷനുകൾ), അല്ലെങ്കിൽ പ്രോഗ്രാമിന്റെ വലിയ ഭാഗങ്ങൾ (മൊഡ്യൂളുകൾ) എന്നിവ.[1] ഒരു ടൈപ്പ് സിസ്റ്റം, കമ്പ്യൂട്ടർ പ്രോഗ്രാമിംഗിൽ, വേരിയബിളുകൾ (അഥവാ പദങ്ങൾ) എന്തെല്ലാം മൂല്യങ്ങൾ സ്വീകരിക്കാനാവുമെന്ന് തീരുമാനിക്കുന്ന ഒരു നിയമം അല്ലെങ്കിൽ മാനദണ്ഡമാണ്. ഇത് പ്രോഗ്രാമിന് തകരാറുകൾ ഒഴിവാക്കാനും, തെറ്റായ മൂല്യങ്ങൾ പ്രോഗ്രാമിൽ പ്രവേശിപ്പിക്കപ്പെടാത്തതിനായി സഹായിക്കുന്നു. ഉദാഹരണത്തിന്, ഒരു പ്രോഗ്രാമിൽ "സ്ട്രിംഗ്" (വാക്കുകൾ) എന്ന പദം ഉപയോഗിക്കുമ്പോൾ, ടൈപ്പ് സിസ്റ്റം അത് ഒരു വാക്കായിരിക്കും എന്ന് നിർണ്ണയിക്കും, അതിന്റെ ചുറ്റുപാടിൽ മറ്റേതെങ്കിലും തരം (പൂർണ്ണസംഖ്യ, ഫ്ലോട്ടിംഗ് പോയിന്റ്) മൂല്യങ്ങൾ അനുവദിക്കുന്നില്ല. കമ്പ്യൂട്ടർ പ്രോഗ്രാമിംഗിൽ, ഡാറ്റാ ടൈപ്പുകൾ (ഉദാ: "സ്ട്രിംഗ്", "അറേ ഓഫ് ഫ്ലോട്ട്", "ഫംഗ്ഷൻ റിട്ടേണിംഗ് ബൂളിയൻ") ഉപയോഗിക്കുമ്പോൾ അവയ്ക്ക് പ്രത്യേകം നിയമങ്ങളും നിർവ്വചനങ്ങളും ഉണ്ടാക്കുന്നു. ഈ നിയമങ്ങൾ, ഡാറ്റാ ടൈപ്പ് എങ്ങനെ പ്രവർത്തിക്കണമെന്നും, എങ്ങനെ ഉപയോഗിക്കാമെന്നും വ്യക്തമാക്കുന്നു. ഇതിന്റെ സഹായത്തോടെ, പ്രോഗ്രാമർക്ക് ഈ ഡാറ്റാ ടൈപ്പുകൾ അനുസരിച്ച് പ്രോഗ്രാമുകൾ എഴുതാം, ഉദാഹരണത്തിന് "സ്ട്രിംഗ്" ഉപയോഗിച്ച് വാക്കുകൾ കൈകാര്യം ചെയ്യാനും "ഫ്ലോട്ട്" ഉപയോഗിച്ച് സംഖ്യകൾ കൈകാര്യം ചെയ്യാനും സാധിക്കും.
ടൈപ്പ് സിസ്റ്റങ്ങൾ പലപ്പോഴും പ്രോഗ്രാമിംഗ് ഭാഷകളുടെ ഭാഗമായി വ്യക്തമാക്കുകയും ഇന്റർപ്രെറ്ററുകളിലും കംപൈലറുകളിലും നിർമ്മിക്കപ്പെടുകയും ചെയ്യുന്നു, എന്നിരുന്നാലും ഭാഷയുടെ യഥാർത്ഥ ടൈപ്പ് സിന്റാക്സും സെമാന്റിക്സും ഉപയോഗിച്ച് അധിക പരിശോധനകൾ നടത്തുന്നതിന് വേണ്ടി ഉപയോഗിക്കുന്ന ഓപ്ഷണൽ ടൂളുകൾ ഉപയോഗിച്ച് ഒരു ഭാഷയുടെ ടൈപ്പ് സിസ്റ്റം വിപുലീകരിക്കാൻ കഴിയും. ഒരു പ്രോഗ്രാമിംഗ് ഭാഷയിലെ ഒരു ടൈപ്പ് സിസ്റ്റത്തിന്റെ പ്രധാന ലക്ഷ്യം ടൈപ്പ് പിശകുകൾ കാരണം കമ്പ്യൂട്ടർ പ്രോഗ്രാമുകളിലെ ബഗുകൾക്കുള്ള സാധ്യതകൾ കുറയ്ക്കുക എന്നതാണ്.[2] ചോദ്യത്തിൽ നൽകിയിരിക്കുന്ന ടൈപ്പ് സിസ്റ്റം ടൈപ്പ് എറർ എന്താണെന്ന് നിർണ്ണയിക്കുന്നു, എന്നാൽ പൊതുവേ, ആ പ്രവർത്തനത്തിന് അർത്ഥമില്ലാത്ത മൂല്യങ്ങൾ ഉപയോഗിച്ച് ഒരു നിശ്ചിത മൂല്യം പ്രതീക്ഷിക്കുന്ന പ്രവർത്തനങ്ങൾ തടയുക എന്നതാണ് ലക്ഷ്യം (വാലിഡിറ്റി എറേഴ്സ്). ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ ഭാഗങ്ങൾക്കിടയിലുള്ള ഇന്റർഫേസുകൾ നിർവചിക്കാൻ ടൈപ്പ് സിസ്റ്റങ്ങൾ അനുവദിക്കുന്നു, തുടർന്ന് വരുന്ന ഭാഗങ്ങൾ സ്ഥിരമായ രീതിയിൽ ബന്ധിപ്പിച്ചിട്ടുണ്ടോയെന്ന് പരിശോധിക്കുന്നു. ഈ പരിശോധന സ്ഥിരമായി (കംപൈൽ സമയത്ത്), ചലനാത്മകമായി (റൺ ടൈമിൽ) അല്ലെങ്കിൽ ഇവ രണ്ടിന്റെയും സംയോജനമായോ സംഭവിക്കാം. ബിസിനസ്സ് നിയമങ്ങൾ പ്രകടിപ്പിക്കുക, ചില കംപൈലർ ഒപ്റ്റിമൈസേഷനുകൾ പ്രാപ്തമാക്കുക, ഒന്നിലധികം ഡിസ്പാച്ച് അനുവദിക്കുക, ഡോക്യുമെന്റേഷൻ ഒരു ഫോം നൽകുക എന്നിങ്ങനെയുള്ള മറ്റ് ഉദ്ദേശ്യങ്ങളും ടൈപ്പ് സിസ്റ്റങ്ങൾക്ക് ഉണ്ട്.
ഉപയോഗ അവലോകനം
[തിരുത്തുക]ഒരു ലളിതമായ ടൈപ്പുകളുള്ള സംവിധാനത്തിന്റെ ഉദാഹരണമാണ് സി ഭാഷ. ഒരു സി പ്രോഗ്രാമിന്റെ ഭാഗങ്ങൾ ഫങ്ഷൻ നിർവചനങ്ങൾ ആണ്. ഒരു ഫങ്ഷനുള്ളിൽ മറ്റൊരു ഫങ്ഷൻ വർക്ക് ചെയ്യുന്നു. ഒരു ഫങ്ഷന്റെ ഇന്റർഫേസ് ഫംങ്ഷന്റെ പേര്, ഫങ്ഷന്റെ കോഡ് നൽകിയിരിക്കുന്ന പരാമീറ്റുകളുടെ ഒരു ലിസ്റ്റ് എന്നിവ നൽകുന്നു. ഒരു ഇൻവോക്കിംഗ് ഫംഗ്ഷന്റെ കോഡ് റിക്വസ്റ്റ് നെയിം, അതിലേക്ക് കൈമാറാൻ മൂല്യങ്ങൾ ഹോൾഡ് ചെയ്തിരിക്കുന്ന വേരിയബിളുകളുടെ പേരുകൾക്കൊപ്പം വെളിപ്പെടുത്തുന്നു. എക്സിക്യൂഷൻ സമയത്ത്, മൂല്യങ്ങൾ താൽക്കാലിക സ്റ്റോറേജിൽ സ്ഥാപിക്കുന്നു, തുടർന്ന് എക്സിക്യൂഷൻ റിക്വസ്റ്റ് ചെയ്ത ഫംഗ്ഷന്റെ കോഡിലേക്ക് പോകുന്നു. റിക്വസ്റ്റ് ചെയ്ത ഫംഗ്ഷന്റെ കോഡ് മൂല്യങ്ങൾ ആക്‌സസ് ചെയ്യുകയും അവ ഉപയോഗിക്കുകയും ചെയ്യുന്നു. ഫംഗ്‌ഷനുള്ളിലെ നിർദ്ദേശങ്ങൾ ഒരു പൂർണ്ണസംഖ്യയുടെ(integer) രൂപത്തിൽ മൂല്യം സ്വീകരിക്കുന്നു എന്ന അനുമാനത്തിലാണ് എഴുതിയിരിക്കുന്നതെങ്കിൽ, കോളിംഗ് കോഡ് ഒരു ഫ്ലോട്ടിംഗ് പോയിന്റ് മൂല്യം പാസ്സാക്കിയാൽ, തെറ്റായ റിസൾട്ട് റിക്വസ്റ്റ് ചെയ്തതായി ഫംഗ്ഷൻ കണക്കാക്കും. സി കംപൈലർ ഫംഗ്ഷൻ ഡെഫനിഷൻ കൊണ്ട് ഡിക്ലയർ ചെയ്തിരിക്കുന്ന പരാമീറ്റർ ടൈപ്പുകൾക്കെതിരെ വിളിക്കുമ്പോൾ ഒരു ഫംഗ്‌ഷനിലേക്ക് കൈമാറുന്ന ആർഗ്യുമെന്റുകളുടെ ടൈപ്പുകൾ എതെന്ന് പരിശോധിക്കുന്നു. ടൈപ്പുകൾ പൊരുത്തപ്പെടുന്നില്ലെങ്കിൽ, കംപൈലർ ഒരു കംപൈൽ-ടൈം എറർ അല്ലെങ്കിൽ മുന്നറിയിപ്പ് നൽകുന്നു.[3]
അവലംബം
[തിരുത്തുക]- ↑ Pierce 2002, p. 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."
- ↑ Cardelli 2004, p. 1: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program."
- ↑ "Type checking".