എന്താണ് ലിസ്‌പിനെ പ്രത്യേകമാക്കിയത്

«ഇതുവരെ സൃഷ്ടിച്ചതിൽ വച്ച് ഏറ്റവും മികച്ച പ്രോഗ്രാമിംഗ് ഭാഷ«
- അലൻ കേ, "ഓൺ ലിസ്പ്"

1950-കളുടെ അവസാനത്തിൽ മക്കാർത്തി ലിസ്പ് വികസിപ്പിച്ചപ്പോൾ, അത് നിലവിലുള്ള ഭാഷകളിൽ നിന്ന് തികച്ചും വ്യത്യസ്തമായിരുന്നു, അതിൽ ഏറ്റവും പ്രധാനപ്പെട്ടത് ഫോർട്രാൻ.

ലിസ്പ് ഒമ്പത് പുതിയ ആശയങ്ങൾ അവതരിപ്പിച്ചു:

1. നിബന്ധനകൾ. സോപാധിക പ്രസ്താവനകൾ ആണെങ്കിൽ-അല്ലെങ്കിൽ നിർമ്മാണങ്ങളാണ്. ഇപ്പോൾ ഞങ്ങൾ അവയെ നിസ്സാരമായി കാണുന്നു. അവർ ഇങ്ങനെയായിരുന്നു കണ്ടുപിടിച്ചു ലിസ്പിന്റെ വികസന സമയത്ത് മക്കാർത്തി. (അപ്പോൾ ഫോർട്രാന് ഗോട്ടോ പ്രസ്താവനകൾ മാത്രമേ ഉണ്ടായിരുന്നുള്ളൂ, അടിസ്ഥാന ഹാർഡ്‌വെയറിനെക്കുറിച്ചുള്ള ഒരു ബ്രാഞ്ച് നിർദ്ദേശവുമായി അടുത്ത് ബന്ധിപ്പിച്ചിരുന്നു.) മക്കാർത്തി, അൽഗോൾ കമ്മിറ്റിയിലായിരിക്കുമ്പോൾ, അൽഗോളിന് സോപാധികമായ സംഭാവനകൾ നൽകി, അവിടെ നിന്ന് അവ മറ്റ് ഭാഷകളിലേക്ക് വ്യാപിച്ചു.

2. ഒരു ഫംഗ്ഷൻ തരം. Lisp-ൽ, ഫംഗ്‌ഷനുകൾ ഫസ്റ്റ്-ക്ലാസ് ഒബ്‌ജക്‌റ്റുകളാണ് - അവ സംഖ്യകൾ, സ്ട്രിംഗുകൾ മുതലായവ പോലെ ഒരു ഡാറ്റാ തരമാണ്, കൂടാതെ അക്ഷരാർത്ഥത്തിലുള്ള പ്രാതിനിധ്യമുണ്ട്, വേരിയബിളുകളിൽ സംഭരിക്കാനും ആർഗ്യുമെന്റുകളായി കൈമാറാനും കഴിയും.

3. ആവർത്തനം. ആവർത്തനം, തീർച്ചയായും, ലിസ്‌പിന് മുമ്പ് ഒരു ഗണിതശാസ്ത്ര ആശയമായി നിലനിന്നിരുന്നു, എന്നാൽ അതിനെ പിന്തുണയ്ക്കുന്ന ആദ്യത്തെ പ്രോഗ്രാമിംഗ് ഭാഷയായിരുന്നു ലിസ്‌പ്. (ഒരുപക്ഷേ ഫംഗ്‌ഷനുകൾ ഫസ്റ്റ്-ക്ലാസ് ഒബ്‌ജക്റ്റുകളായി സൃഷ്‌ടിക്കുന്നതിൽ ഇത് സൂചിപ്പിക്കാം.)

4. വേരിയബിളുകളുടെ ഒരു പുതിയ ആശയം. Lisp-ൽ, എല്ലാ വേരിയബിളുകളും ഫലപ്രദമായ പോയിന്ററുകളാണ്. മൂല്യങ്ങൾ എന്തെല്ലാമാണ്, വേരിയബിളുകളല്ല, വേരിയബിളുകൾ അസൈൻ ചെയ്യുകയോ ബൈൻഡിംഗ് ചെയ്യുകയോ ചെയ്യുന്നത് പോയിന്ററുകൾ പകർത്തുക എന്നതാണ്, അവ ചൂണ്ടിക്കാണിക്കുന്നവയല്ല.

5. മാലിന്ന്യ ശേഖരണം.

6. എക്സ്പ്രഷനുകൾ അടങ്ങിയ പ്രോഗ്രാമുകൾ. ലിസ്പ് പ്രോഗ്രാമുകൾ എക്സ്പ്രഷനുകളുടെ മരങ്ങളാണ്, അവ ഓരോന്നും ഒരു മൂല്യം നൽകുന്നു. (ചില ലിസ്‌പ് എക്‌സ്‌പ്രഷനുകൾക്ക് ഒന്നിലധികം മൂല്യങ്ങൾ നൽകാനാകും.) ഇത് ഫോർട്രാനിലും “എക്സ്‌പ്രഷനുകൾ”, “സ്റ്റേറ്റ്‌മെന്റുകൾ” എന്നിവ തമ്മിൽ വേർതിരിച്ചറിയുന്ന മറ്റ് പല വിജയകരമായ ഭാഷകളിലും വ്യത്യാസമുണ്ട്.

ഫോർട്രാനിൽ ഈ വ്യത്യാസം ഉണ്ടാകുന്നത് സ്വാഭാവികമാണ്, കാരണം ഭാഷ രേഖാധിഷ്ഠിതമായിരുന്നു (ഇൻപുട്ട് ഫോർമാറ്റ് പഞ്ച്ഡ് കാർഡ് ആയ ഒരു ഭാഷയെ സംബന്ധിച്ചിടത്തോളം അതിശയിക്കാനില്ല). നിങ്ങൾക്ക് നെസ്റ്റഡ് പ്രസ്താവനകൾ ഉണ്ടാകുമായിരുന്നില്ല. നിങ്ങൾക്ക് പ്രവർത്തിക്കാൻ ഗണിത പദപ്രയോഗങ്ങൾ ആവശ്യമുള്ളിടത്തോളം, മറ്റെന്തെങ്കിലും മൂല്യം നൽകുന്നതിൽ അർത്ഥമില്ല, കാരണം തിരികെ ലഭിക്കാൻ കാത്തിരിക്കേണ്ടിവരില്ല.

ബ്ലോക്ക് ഘടനയുള്ള ഭാഷകളുടെ വരവോടെ നിയന്ത്രണങ്ങൾ എടുത്തുകളഞ്ഞെങ്കിലും അപ്പോഴേക്കും വളരെ വൈകിപ്പോയിരുന്നു. പദപ്രയോഗങ്ങളും പ്രസ്താവനകളും തമ്മിലുള്ള വ്യത്യാസം ഇതിനകം സ്ഥാപിച്ചിട്ടുണ്ട്. അത് ഫോർട്രാനിൽ നിന്ന് അൽഗോളിലേക്കും പിന്നീട് അവരുടെ പിൻഗാമികളിലേക്കും കടന്നു.

ഒരു ഭാഷ പൂർണ്ണമായും പദപ്രയോഗങ്ങളാൽ നിർമ്മിതമാകുമ്പോൾ, നിങ്ങൾക്ക് ആവശ്യമുള്ള രീതിയിൽ പദപ്രയോഗങ്ങൾ രചിക്കാൻ കഴിയും. നിങ്ങൾക്ക് ഒന്നുകിൽ എഴുതാം (വാക്യഘടന ഉപയോഗിച്ച് ആർക്ക്)

(if foo (= x 1) (= x 2))

അഥവാ

(= x (if foo 1 2))

7. ഒരു ചിഹ്ന തരം. പ്രതീകങ്ങൾ സ്ട്രിംഗുകളിൽ നിന്ന് വ്യത്യസ്തമാണ്, ഈ സാഹചര്യത്തിൽ പോയിന്ററുകൾ താരതമ്യം ചെയ്തുകൊണ്ട് നിങ്ങൾക്ക് തുല്യത പരിശോധിക്കാം.

8. കോഡിനുള്ള ഒരു നൊട്ടേഷൻ ചിഹ്ന മരങ്ങൾ ഉപയോഗിക്കുന്നു.

9. മുഴുവൻ ഭാഷയും എപ്പോഴും ലഭ്യമാണ്. റീഡ് ടൈം, കംപൈൽ ടൈം, റൺ ടൈം എന്നിവ തമ്മിൽ പ്രകടമായ വ്യത്യാസമില്ല. നിങ്ങൾ വായിക്കുമ്പോൾ കോഡ് കംപൈൽ ചെയ്യുകയോ പ്രവർത്തിപ്പിക്കുകയോ ചെയ്യാം, അല്ലെങ്കിൽ കംപൈൽ ചെയ്യുമ്പോൾ കോഡ് വായിക്കുകയോ റൺ ചെയ്യുകയോ, അല്ലെങ്കിൽ അത് പ്രവർത്തിക്കുമ്പോൾ കോഡ് വായിക്കുകയോ കംപൈൽ ചെയ്യുകയോ ചെയ്യാം.

വായിക്കുമ്പോൾ കോഡ് പ്രവർത്തിപ്പിക്കുന്നത് Lisp-ന്റെ വാക്യഘടന റീപ്രോഗ്രാം ചെയ്യാൻ ഉപയോക്താക്കളെ അനുവദിക്കുന്നു; കംപൈൽ സമയത്ത് കോഡ് പ്രവർത്തിപ്പിക്കുന്നതാണ് മാക്രോകളുടെ അടിസ്ഥാനം; ഇമാക്സ് പോലുള്ള പ്രോഗ്രാമുകളിൽ ഒരു വിപുലീകരണ ഭാഷയായി Lisp ഉപയോഗിക്കുന്നതിനുള്ള അടിസ്ഥാനം റൺടൈം കംപൈലേഷനാണ്; അവസാനമായി, റൺടൈം റീഡിംഗ് പ്രോഗ്രാമുകളെ എസ്-എക്‌സ്‌പ്രഷനുകൾ ഉപയോഗിച്ച് ആശയവിനിമയം നടത്താൻ അനുവദിക്കുന്നു, ഈ ആശയം അടുത്തിടെ XML-ൽ പുനർനിർമ്മിച്ചു.

തീരുമാനം

ലിസ്പ് ആദ്യമായി കണ്ടുപിടിച്ചപ്പോൾ, ഈ ആശയങ്ങൾ 1950 കളുടെ അവസാനത്തിൽ ലഭ്യമായ ഹാർഡ്‌വെയർ നിർദ്ദേശിച്ച പരമ്പരാഗത പ്രോഗ്രാമിംഗ് രീതികളിൽ നിന്ന് വളരെ അകലെയായിരുന്നു.

കാലക്രമേണ, ജനപ്രിയ ഭാഷകളുടെ വിജയത്താൽ ഉൾക്കൊള്ളുന്ന ഡിഫോൾട്ട് ഭാഷ ക്രമേണ ലിസ്‌പിലേക്ക് പരിണമിച്ചു. 1-5 പോയിന്റുകൾ ഇപ്പോൾ പരക്കെ അംഗീകരിക്കപ്പെട്ടിരിക്കുന്നു. പോയിന്റ് 6 മുഖ്യധാരയിൽ പ്രത്യക്ഷപ്പെടാൻ തുടങ്ങുന്നു. പൈത്തണിൽ, അനുയോജ്യമായ വാക്യഘടന ഇല്ലെങ്കിലും ഏതെങ്കിലും രൂപത്തിൽ ഒരു ക്ലോസ് 7 ഉണ്ട്. (ഇനം 8 ഉപയോഗിച്ച്) Lisp-ൽ മാക്രോകൾ സാധ്യമാക്കുന്ന ഇനം 9, ഇപ്പോഴും Lisp-ൽ മാത്രമേ ഉള്ളൂ, ഒരുപക്ഷേ (a) അതിന് ആ പരാൻതീസിസുകളോ അതുപോലെ തന്നെ മോശമായ മറ്റെന്തെങ്കിലുമോ ആവശ്യമുള്ളതിനാലാവാം, കൂടാതെ (b) ഈ ഏറ്റവും പുതിയ പവർ വർദ്ധന നിങ്ങൾ ചേർക്കുകയാണെങ്കിൽ, നിങ്ങൾക്ക് കഴിയും ഇനി ഒരു പുതിയ ഭാഷ കണ്ടുപിടിച്ചതായി അവകാശപ്പെടുന്നില്ല, ലിസ്‌പിന്റെ ഒരു പുതിയ ഭാഷാഭേദം വികസിപ്പിച്ചെടുക്കാൻ മാത്രമാണ്; -)

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

അവലംബം: www.habr.com