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

No edit summary
No edit summary
വരി 1:
{{Type systems}}
പ്രോഗ്രാമിങ് ഭാഷകളിൽ, ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ നിർമ്മിതികളായ വേരിയബിളുകൾ, എക്സ്പ്രഷനുകൾ, ഫംഗ്ഷനുകൾ അല്ലെങ്കിൽ ഘടകങ്ങൾ എന്നിവ ഒരു വസ്തുവിനെ തരംതിരിക്കുന്ന ഒരു കൂട്ടം നിയമങ്ങളെയാണ് '''ടൈപ്പ് സിസ്റ്റം'''(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."}}ഒരു കമ്പ്യൂട്ടർ പ്രോഗ്രാമിന്റെ വിവിധ ഭാഗങ്ങൾ തമ്മിൽ ഇൻറർഫേസുകൾ നിർവ്വചിച്ചുകൊണ്ട്, ഭാഗങ്ങൾ സ്ഥിരമായ രീതിയിൽ ബന്ധിപ്പിച്ചിട്ടുണ്ടെന്ന് പരിശോധിക്കുക. ഈ പരിശോധന സ്ഥിരമായി (കംപൈൽ സമയത്ത്), ചലനാത്മകം (റൺ സമയത്ത്), അല്ലെങ്കിൽ സ്റ്റാറ്റിക്, ഡൈനാമിക് പരിശോധനയുടെ ഒരു സംയോജനമായി സംഭവിക്കാം.
==അവലംബം==
"https://ml.wikipedia.org/wiki/ടൈപ്പ്_സിസ്റ്റം" എന്ന താളിൽനിന്ന് ശേഖരിച്ചത്