Lisp က ဘာထူးခြားသလဲ။

«ဖန်တီးဖူးသမျှ ပရိုဂရမ်းမင်းဘာသာစကား အကြီးကျယ်ဆုံး«
- Alan Kay, "on Lisp"

McCarthy သည် 1950 ခုနှစ်နှောင်းပိုင်းတွင် Lisp ကို တီထွင်ခဲ့သောအခါတွင် ၎င်းသည် လက်ရှိဘာသာစကားများနှင့် လွန်စွာကွာခြားသွားခဲ့ပြီး အရေးကြီးဆုံးမှာ၊ ကွမ်းခြံကုန်း.

Lisp သည် အကြံဥာဏ်သစ်ကိုးခုကို မိတ်ဆက်ပေးခဲ့သည်။

1. အခြေအနေများ. Conditional statements များသည် if- then-else တည်ဆောက်မှုများဖြစ်သည်။ အခုသူတို့ကို အလေးမထားဘူး။ သူတို့သည် တီထွင်ခဲ့သည်။ Lisp ၏ဖွံ့ဖြိုးတိုးတက်မှုကာလအတွင်း McCarthy (ထိုအချိန်က Fortran သည် အရင်းခံ ဟာ့ဒ်ဝဲဆိုင်ရာ ဌာနခွဲညွှန်ကြားချက်တစ်ခုနှင့် အနီးကပ်တွဲဖက်ထားသော goto ထုတ်ပြန်ချက်သာဖြစ်သည်။) McCarthy သည် Algol ကော်မတီတွင်ရှိစဉ်တွင် ၎င်းတို့သည် အခြားဘာသာစကားများသို့ ပျံ့နှံ့သွားသည့်အခြေအနေမှ Algol အား ပံ့ပိုးပေးခဲ့သည်။

2. လုပ်ဆောင်ချက်အမျိုးအစား. Lisp တွင်၊ လုပ်ဆောင်ချက်များသည် ပထမတန်းစားအရာဝတ္ထုများဖြစ်သည် - ၎င်းတို့သည် ကိန်းဂဏန်းများ၊ စာကြောင်းများ စသည်တို့ကဲ့သို့ ဒေတာအမျိုးအစားတစ်ခုဖြစ်ပြီး စာသားကိုယ်စားပြုမှုပါရှိပြီး၊ variables များတွင် သိမ်းဆည်းထားနိုင်သည်၊ အငြင်းအခုံများအဖြစ် ဖြတ်သန်းနိုင်သည်။

3. ပြန်လှည့်ခြင်း။. Recursion သည် Lisp မတိုင်မီက သင်္ချာအယူအဆတစ်ခုအဖြစ် တည်ရှိခဲ့သော်လည်း Lisp သည် ၎င်းကို ပံ့ပိုးရန် ပထမဆုံး ပရိုဂရမ်းမင်းဘာသာစကားဖြစ်သည်။ (၎င်းသည် ပထမတန်းစား အရာဝတ္ထုများအဖြစ် လုပ်ဆောင်ချက်များကို ဖန်တီးရာတွင် အဓိပ္ပာယ်သက်ရောက်နိုင်သည်။)

4. ပြောင်းလဲနိုင်သော အယူအဆအသစ်. Lisp တွင်၊ ကိန်းရှင်အားလုံးသည် ထိရောက်သောညွှန်ပြချက်များဖြစ်သည်။ တန်ဖိုးများသည် အမျိုးအစားများရှိ၊ မပြောင်းလဲနိုင်သော၊ နှင့် သတ်မှတ်ပေးသည့် သို့မဟုတ် ချိတ်ဆွဲထားသော ကိန်းရှင်များသည် ၎င်းတို့ညွှန်ပြသည့်အရာကို ကူးယူခြင်းမဟုတ်ဘဲ ညွှန်ပြချက်များကို ကူးယူခြင်းဟု အဓိပ္ပါယ်ရသည်။

5. အမှိုက်သိမ်း.

6. အသုံးအနှုန်းများဖြင့် ဖွဲ့စည်းထားသော အစီအစဉ်များ. Lisp ပရိုဂရမ်များသည် တန်ဖိုးတစ်ခုစီကို ပြန်ပေးသည့် အသုံးအနှုန်းသစ်ပင်များဖြစ်သည်။ (အချို့ Lisp အသုံးအနှုန်းများသည် တန်ဖိုးများစွာကို ပြန်ပေးနိုင်သည်။) ၎င်းသည် Fortran နှင့် “အသုံးအနှုန်းများ” နှင့် “ဖော်ပြချက်များ” အကြား ပိုင်းခြားသော အခြားအောင်မြင်သောဘာသာစကားများနှင့် ဆန့်ကျင်ဘက်ဖြစ်သည်။

ဘာသာစကားသည် မျဉ်းအသားပေးဖြစ်သောကြောင့် (Fortran တွင် ဤထူးခြားချက်ကို ရရှိရခြင်းမှာ သဘာဝကျပါသည် (ထည့်သွင်းဖော်မတ်ထားသော ကတ်ပြားတစ်ခုဖြစ်သည့် ဘာသာစကားအတွက် အံ့သြစရာမဟုတ်ပါ)။ သင့်တွင် အသိုက်အမြုံရှင်းတမ်းများ မပါဝင်နိုင်ပါ။ သင်အလုပ်လုပ်ရန် သင်္ချာဆိုင်ရာအသုံးအနှုန်းများ လိုအပ်နေသမျှ ကာလပတ်လုံး ပြန်လာရန် စောင့်ဆိုင်းစရာ တစ်စုံတစ်ရာ မရှိနိုင်သောကြောင့် တန်ဖိုးတစ်ခု ပြန်ပေးရန်အတွက် အခြားဘာမှ ပေးစရာအကြောင်းမရှိပါ။

ပိတ်ဆို့ဖွဲ့စည်းပုံရှိသော ဘာသာစကားများ ထွန်းကားလာသဖြင့် ကန့်သတ်ချက်များကို ရုတ်သိမ်းလိုက်သော်လည်း ထိုအချိန်တွင် နောက်ကျသွားပြီဖြစ်သည်။ အသုံးအနှုန်းများနှင့် ဖော်ပြချက်များအကြား ခြားနားမှုကို ထူထောင်ထားပြီးဖြစ်သည်။ Fortran မှ Algol သို့ ကူးသွားပြီး သူတို့၏ သားစဉ်မြေးဆက်များဆီသို့ ကူးသွားသည်။

ဘာသာစကားတစ်ခုသည် အသုံးအနှုန်းများကို လုံးလုံးလျားလျားပြုလုပ်သောအခါ၊ သင်အလိုရှိသည့်အတိုင်း စကားအသုံးအနှုန်းများကို ရေးဖွဲ့နိုင်သည်။ (အထားအသိုကို အသုံးပြု၍ သော်လည်းကောင်း ရေးနိုင်သည်။ စက်ဝိုင်း)

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

သို့မဟုတ်

(= x (if foo 1 2))

7. သင်္ကေတအမျိုးအစား. စာလုံးများသည် စာကြောင်းများနှင့် ကွဲပြားသည်၊ ယင်းအခြေအနေတွင် ညွှန်မှတ်များကို နှိုင်းယှဉ်ခြင်းဖြင့် သာတူညီမျှရှိမရှိ စစ်ဆေးနိုင်သည်။

8. ကုဒ်အတွက် အမှတ်အသားတစ်ခု သင်္ကေတသစ်ပင်များကို အသုံးပြု.

9. ဘာသာစကားတစ်ခုလုံးကို အမြဲသုံးနိုင်သည်. စာဖတ်ချိန်၊ စုစည်းချိန်နှင့် အလုပ်လုပ်ချိန်တို့ကြား သိသာထင်ရှားသော ကွာခြားချက်မရှိပါ။ သင်ဖတ်နေစဉ်အတွင်း ကုဒ်ကို စုစည်းနိုင်သည် သို့မဟုတ် လုပ်ဆောင်နိုင်သည်၊ သို့မဟုတ် သင်စုစည်းနေချိန်တွင် ကုဒ်ကိုဖတ်ရန် သို့မဟုတ် လုပ်ဆောင်နိုင်သည်၊ သို့မဟုတ် ၎င်းလုပ်ဆောင်နေချိန်တွင် ကုဒ်ကို ဖတ်ရန် သို့မဟုတ် စုစည်းနိုင်သည်။

ကုဒ်ဖတ်နေစဉ်အတွင်း လုပ်ဆောင်ခြင်းသည် အသုံးပြုသူများအား Lisp ၏ syntax ကို ပြန်လည်ပရိုဂရမ်ပြုလုပ်နိုင်စေပါသည်။ compile time တွင် run code သည် macro အတွက် အခြေခံဖြစ်သည်။ runtime compilation သည် Lisp ကို Emacs ကဲ့သို့သော ပရိုဂရမ်များတွင် တိုးချဲ့ဘာသာစကားအဖြစ် အသုံးပြုခြင်းအတွက် အခြေခံဖြစ်သည်။ နောက်ဆုံးအနေနှင့်၊ runtime reading ပရိုဂရမ်များကို XML တွင် မကြာသေးမီက ပြန်လည်တီထွင်ထားသော အိုင်ဒီယာဖြစ်သော s-expressions ကို အသုံးပြု၍ ဆက်သွယ်နိုင်စေပါသည်။

ကောက်ချက်

Lisp ကို စတင်တီထွင်ခဲ့စဉ်က ဤစိတ်ကူးများသည် 1950 နှောင်းပိုင်းတွင် ရရှိနိုင်သော ဟာ့ဒ်ဝဲမှ ညွှန်ပြသော သမားရိုးကျ ပရိုဂရမ်အလေ့အကျင့်များနှင့် ဝေးကွာလှသည်။

အချိန်ကြာလာသည်နှင့်အမျှ၊ လူကြိုက်များသောဘာသာစကားများအောင်မြင်မှုဖြင့် ပုံဖော်ထားသော မူရင်းဘာသာစကားသည် Lisp သို့ တဖြည်းဖြည်း ပြောင်းလဲလာသည်။ အမှတ် 1-5 ကို ယခု တွင်ကျယ်စွာ လက်ခံထားပါသည်။ အမှတ် 6 သည် ပင်မရေစီးကြောင်းတွင် စတင်ပေါ်လာသည်။ Python တွင် သင့်လျော်သော syntax မရှိသော်လည်း အချို့ပုံစံတွင် clause 7 ရှိသည်။ Lisp တွင် မက်ခရိုများဖြစ်နိုင်စေမည့် အရာ 8 သည် Lisp တွင်သာ ရှိနေသေးသည်၊ အကြောင်းမှာ (က) ၎င်းသည် အဆိုပါ ကွင်းပိတ် သို့မဟုတ် အညီအမျှ ဆိုးရွားသည့် အရာတစ်ခု လိုအပ်သောကြောင့် ဖြစ်နိုင်ပြီး (ခ) ဤနောက်ဆုံး ပါဝါတိုးလာပါက သင်လုပ်နိုင်သည်၊ ဘာသာစကားအသစ်ကို တီထွင်ဖို့ မတောင်းဆိုတော့ဘဲ Lisp ရဲ့ ဒေသိယစကားအသစ်ကို တီထွင်ဖို့သာလိုပါတော့တယ်။ -)

၎င်းသည် ခေတ်သစ်ပရိုဂရမ်မာများအတွက် အသုံးဝင်သော်လည်း၊ အခြားဘာသာစကားများတွင် လက်ခံကျင့်သုံးသော ကျပန်းနည်းပညာများနှင့် ၎င်း၏ခြားနားချက်နှင့်ပတ်သက်၍ Lisp ကို ဖော်ပြခြင်းသည် ထူးဆန်းပါသည်။ ဒါဟာ McCarthy တွေးနေပုံမျိုးတော့ မဟုတ်ပါဘူး။ Lisp သည် Fortran ၏အမှားများကိုပြင်ရန် ဒီဇိုင်းထုတ်ထားခြင်းမဟုတ်ပေ။ ကြိုးစားခြင်း၏ ရလဒ်တစ်ခုအဖြစ် ပို၍ထင်ရှားလာသည်။ တွက်ချက်မှုများကို axiomatize လုပ်ပါ။.

source: www.habr.com