ခက်ခဲသောအချိန်၌ မိုက်မဲသော မထင်မရှား ပရိုဂရမ်များ (2018)

Scala ၏ နားလည်နိုင်စွမ်းနှင့် နာကျင်မှု

Scala ၏ `for`-နားလည်နိုင်စွမ်းသည် ပြေပြစ်ကောင်းမွန်ပြီး အလုပ်လုပ်နိုင်သော ပရိုဂရမ်ရေးဆွဲခြင်း၏ အုတ်မြစ်ဖြစ်သည်။ ၎င်းသည် သန့်ရှင်းသပ်ရပ်သောပုံစံဖြင့် `Option`၊ `Future` နှင့် `List` ကဲ့သို့သော monadic အမျိုးအစားများတွင် developer များအား လုပ်ဆောင်ချက်များကို စီတန်းရန် ခွင့်ပြုသည်။ nested `flatMap` နှင့် `map` ခေါ်ဆိုမှုများ ရှုပ်ယှက်ခတ်နေသော ရှုပ်ယှက်ခတ်နေမည့်အစား၊ ကျွန်ုပ်တို့သည် ဖတ်နိုင်သော ကုဒ်ကို ရေးနိုင်သည် ။ သို့သော်၊ ဤ syntactic သကြား၊ အရသာရှိသော်လည်း၊ လျှို့ဝှက်ကုန်ကျစရိတ်တစ်ခုရှိသည်။ compiler သည် ၎င်း၏အရင်းခံ monadic ကွင်းဆက်သို့ `for`-notation ကို desugar ထုတ်ပေးသည်၊ သို့သော် ဤလုပ်ငန်းစဉ်သည် တင်းကျပ်ပြီး ပုံသေသတ်မှတ်ထားသော နည်းလမ်းများဖြင့် ကန့်သတ်ထားကာ တစ်ခါတစ်ရံတွင် စစ်မှန်သော တွက်ချက်မှုဆိုင်ရာ ဖွဲ့စည်းပုံကို ဖုံးကွယ်နိုင်သည်။ Mewayz ရှိ မော်ဂျူလာလုပ်ငန်း OS ကဲ့သို့ ရှုပ်ထွေးသောစနစ်များကို တည်ဆောက်သည့်အဖွဲ့များအတွက်၊ ဤ desugaring ကို နားလည်ခြင်းနှင့် ထိန်းချုပ်ခြင်းသည် ကြံ့ခိုင်မှု၊ စွမ်းဆောင်ရည်နှင့် ထိန်းသိမ်းနိုင်သော ကုဒ်ရေးသားခြင်းအတွက် အရေးကြီးပါသည်။

Applicative Desugaring ဆိုတာ ဘာလဲ၊ ဘာကြောင့် အရေးကြီးသလဲ?

အစဉ်အလာအားဖြင့်၊ အဆုံးတွင် 'မြေပုံ' ခေါ်ဆိုမှုဖြင့် `flatMap` ခေါ်ဆိုမှုများ၏ ကွင်းဆက်တစ်ခုဆီသို့ `for`-နားလည်နိုင်စွမ်းရှိသော desugars တစ်ခုဖြစ်သည်။ ၎င်းသည် monadic sequencing ကို ကိုယ်စားပြုသည်၊၊ နားလည်မှု၏ အဆင့်တစ်ခုစီသည် ယခင်တစ်ခု၏ ရလဒ်ပေါ်တွင် မူတည်ပါသည်။ ဒါပေမယ့် မင်းရဲ့လုပ်ဆောင်ချက်တွေက အမှီအခိုကင်းတယ်ဆိုရင်ကော။ အသုံးပြုသူမှတ်ပုံတင်ပုံစံကို တရားဝင်စစ်ဆေးရန် စဉ်းစားကြည့်ပါ- အသုံးပြုသူအမည်၊ အီးမေးလ်နှင့် စကားဝှက်တို့ကို စစ်ဆေးရန် လိုအပ်သည်။ ဤအတည်ပြုချက်များသည် တစ်ခုနှင့်တစ်ခုအပေါ် မမူတည်ပါ။ ၎င်းတို့သည် လွတ်လပ်စွာလုပ်ဆောင်နိုင်ပြီး ၎င်းတို့၏ရလဒ်များကို ပေါင်းစပ်နိုင်သည်။ ဤသည်မှာ အပလီကေးရှင်း ဖန်ရှင်များ၏ ဒိုမိန်းဖြစ်သည်။ အပလီကေးရှင်းပရိုဂရမ်ရေးဆွဲခြင်းသည် အပြိုင်အတည်ပြုခြင်းနှင့် ပေါင်းစပ်မှုကို ခွင့်ပြုစေပြီး၊ ဖြစ်နိုင်ချေရှိသော စွမ်းဆောင်ရည်အကျိုးခံစားခွင့်များနှင့် ပိုမိုရှင်းလင်းသော အမှားအယွင်းများကို ကိုင်တွယ်ခြင်းတို့ကို ပေးဆောင်စေသည်။ `for`-notation၊ monadic sequencing နှင့် ချိတ်ဆက်ထားသော စံသည် ဤပုံစံကို မူရင်းအတိုင်း မဖော်ပြနိုင်ပါ။

"ဖြစ်နိုင်ချေရှိသော အသုံးချလုပ်ဆောင်မှုများတွင် နားလည်နိုင်စေရန် ဆော့ကစားနိုင်မှုသည် ဂိမ်းပြောင်းလဲမှုတစ်ခုဖြစ်သည်။ ၎င်းသည် ပိုမိုကြေငြာသောကုဒ်ကို လော့ခ်ဖွင့်ပေးကာ လွတ်လပ်သောတွက်ချက်မှုများကို ဖော်ထုတ်ခြင်းဖြင့် ထိရောက်မှုကို သိသိသာသာတိုးတက်စေနိုင်သည်။" - Mewayz ပလပ်ဖောင်းအင်ဂျင်နီယာ

"Apply Within" ကိုအသုံးပြုခြင်း- Desugaring Strategy အသစ်

"Apply Within" ၏ အယူအဆမှာ Scala compiler ကို ပိုမိုစမတ်ကျအောင် ပြုလုပ်ခြင်း ဖြစ်သည်။ ဂျင်နရေတာတိုင်း (`<-`) ကို `for`- နားလည်သဘောပေါက်မှု `flatMap` တွင် မျက်စိစုံမှိတ် ဖယ်ထုတ်မည့်အစား၊ ပိုမိုအဆင့်မြင့်သော desugaring နည်းဗျူဟာသည် လိုင်းများကြားရှိ မှီခိုမှုများကို ပိုင်းခြားစိတ်ဖြာမည်ဖြစ်သည်။ နောက်ပိုင်းလိုင်းတစ်ခုမှထုတ်ပေးသောတန်ဖိုးသည် အစောပိုင်းလိုင်းမှတန်ဖိုးတစ်ခုပေါ်တွင်မူတည်ခြင်းမရှိပါက၊ desugaring သည် monadic `flatMap` အစား အပလီကေးရှင်း `ap` (သို့မဟုတ် ပိုမိုရင်းနှီးသော `ထုတ်ကုန်` နှင့် `map` ပေါင်းစပ်မှု) ကို အသုံးပြုနိုင်သည်။ ၎င်းသည် ဆက်တိုက်ကွင်းဆက်တစ်ခုကို အပြိုင်-ဖော်ရွေသော တွက်ချက်မှုဂရပ်အဖြစ်သို့ ပြောင်းလဲပေးသည်။ kittens စာကြည့်တိုက်ကဲ့သို့ ကိရိယာများသည် ၎င်းကို အလိုအလျောက် ဆင်းသက်လာစေရန် စူးစမ်းရှာဖွေခဲ့ကြသော်လည်း အိုင်ဒီယာသည် ဘာသာစကားအတွင်း အခြေခံကျသော စွမ်းရည်တစ်ခုဆီသို့ တွန်းအားပေးနေသည်။

ကျွန်ုပ်တို့၏ လုပ်ငန်း OS မော်ဂျူးများသည် သီးခြားလွတ်လပ်သော အရင်းအမြစ်များစွာမှ ဒေတာအတည်ပြုခြင်းနှင့် စုစည်းမှုကို ကိုင်တွယ်လေ့ရှိသည့် Mewayz တွင်၊ အသုံးချစတိုင်လ်ကို လက်ခံကျင့်သုံးခြင်းက အောက်ပါတို့ကို ဖြစ်ပေါ်စေသည်-

• ပိုမိုရှင်းလင်းသောရည်ရွယ်ချက်- ကုဒ်သည် လုပ်ငန်းဆောင်ရွက်မှုများသည် အမှီအခိုကင်းသည့်အခါတွင် အတိအလင်းပြပြီး လုပ်ငန်းယုတ္တိကို ကျိုးကြောင်းဆင်ခြင်ရန် ပိုမိုလွယ်ကူစေသည်။
• မြှင့်တင်ထားသော စွမ်းဆောင်ရည်- သီးခြားအတည်ပြုချက်များ သို့မဟုတ် ဒေတာရယူမှုများကို အပြိုင်လုပ်ဆောင်နိုင်ပြီး latency ကိုလျှော့ချနိုင်သည်။
• ပိုမိုကောင်းမွန်သော အမှားအယွင်းများ စုဆောင်းခြင်း- လျင်မြန်စွာ ပျက်ကွက်သည့် monadic ကွင်းဆက်များနှင့် မတူဘဲ၊ အသုံးချမှုဆိုင်ရာ တရားဝင်အတည်ပြုချက်သည် အမှားအယွင်းများအားလုံးကို တစ်ပြိုင်နက်တည်း စုဆောင်းခွင့်ပြုသည်၊ အသုံးပြုသူမျက်နှာစာပုံစံများနှင့် API အဆုံးမှတ်များအတွက် အရေးကြီးသောအင်္ဂါရပ်တစ်ခုဖြစ်သည်။

Scala တွင် ဖော်ပြနိုင်သော တွက်ချက်မှု၏အနာဂတ်

Scala ၏ `for`-notation သို့ မူရင်းအသုံးပြုသည့် ဆော့ဖ်ဝဲကို ထည့်သွင်းခြင်းသည် စိတ်လှုပ်ရှားဖွယ်ရာ နယ်နိမိတ်တစ်ခုဖြစ်သည်။ ၎င်းသည် ဘာသာစကား၏ လက်လှမ်းမီဆုံးသော အထားအသိုအတွင်း တိုက်ရိုက်တည်ဆောက်ထားသော ပိုမိုသိမ်မွေ့ပြီး အစွမ်းထက်သော လုပ်ဆောင်နိုင်စွမ်းရှိသော ပရိုဂရမ်းမင်းဆီသို့ ဦးတည်ရွေ့လျားမှုကို ကိုယ်စားပြုသည်။ Modularity နှင့် ရှင်းလင်းပြတ်သားမှုအပေါ် အခြေခံ၍ တည်ဆောက်ထားသည့် Mewayz ကဲ့သို့သော ပလပ်ဖောင်းတစ်ခုအတွက်၊ ဤဆင့်ကဲဖြစ်စဉ်သည် ကျွန်ုပ်တို့၏ပန်းတိုင်များနှင့် လုံးဝကိုက်ညီပါသည်။ ကုဒ်သည် ဘာကို လုပ်ရမည်ကို ဖော်ပြရုံသာမက မည်သို့ အကောင်းဆုံးလုပ်ဆောင်နိုင်သည်ကို အရိပ်အမြွက်ဖော်ပြသည့် ကုဒ်သည် လိုအပ်သည့်နေရာတွင် ဆက်တိုက်လုပ်ဆောင်နိုင်သည်—လိုအပ်ပါက မျဉ်းပြိုင်ဖြစ်နိုင်သည်များကို စဉ်ဆက်မပြတ် ရေးသားနိုင်သည့် ကျွန်ုပ်တို့၏ developer များအား ၎င်းသည် ကျွန်ုပ်တို့၏ developer များအား အခွင့်အာဏာပေးမည်ဖြစ်ပါသည်။ ၎င်းသည် ရှုပ်ထွေးသောစနစ်များကို ရိုးရှင်းစွာ၊ နားလည်နိုင်သော၊ ထိရောက်မှုရှိနေစေမည့် နည်းပညာဆိုင်ရာတိုးတက်မှုမျိုးဖြစ်သည်။

အမေးများသောမေးခွန်းများ

Scala ၏ နားလည်နိုင်စွမ်းနှင့် နာကျင်မှု

Scala ၏ `for`-နားလည်နိုင်စွမ်းသည် ပြေပြစ်ကောင်းမွန်ပြီး အလုပ်လုပ်နိုင်သော ပရိုဂရမ်ရေးဆွဲခြင်း၏ အုတ်မြစ်ဖြစ်သည်။ ၎င်းသည် သန့်ရှင်းသပ်ရပ်သောပုံစံဖြင့် `Option`၊ `Future` နှင့် `List` ကဲ့သို့သော monadic အမျိုးအစားများတွင် developer များအား လုပ်ဆောင်ချက်များကို စီတန်းရန် ခွင့်ပြုသည်။ nested `flatMap` နှင့် `map` ခေါ်ဆိုမှုများ ရှုပ်ယှက်ခတ်နေသော ရှုပ်ယှက်ခတ်နေမည့်အစား၊ ကျွန်ုပ်တို့သည် ဖတ်နိုင်သော ကုဒ်ကို ရေးနိုင်သည် ။ သို့သော်၊ ဤ syntactic သကြား၊ အရသာရှိသော်လည်း၊ လျှို့ဝှက်ကုန်ကျစရိတ်တစ်ခုရှိသည်။ compiler သည် ၎င်း၏အရင်းခံ monadic ကွင်းဆက်သို့ `for`-notation ကို desugar ထုတ်ပေးသည်၊ သို့သော် ဤလုပ်ငန်းစဉ်သည် တင်းကျပ်ပြီး ပုံသေသတ်မှတ်ထားသော နည်းလမ်းများဖြင့် ကန့်သတ်ထားကာ တစ်ခါတစ်ရံတွင် စစ်မှန်သော တွက်ချက်မှုဆိုင်ရာ ဖွဲ့စည်းပုံကို ဖုံးကွယ်နိုင်သည်။ Mewayz ရှိ မော်ဂျူလာလုပ်ငန်း OS ကဲ့သို့ ရှုပ်ထွေးသောစနစ်များကို တည်ဆောက်သည့်အဖွဲ့များအတွက်၊ ဤ desugaring ကို နားလည်ခြင်းနှင့် ထိန်းချုပ်ခြင်းသည် ကြံ့ခိုင်မှု၊ စွမ်းဆောင်ရည်နှင့် ထိန်းသိမ်းနိုင်သော ကုဒ်ရေးသားခြင်းအတွက် အရေးကြီးပါသည်။

Applicative Desugaring ဆိုတာ ဘာလဲ၊ ဘာကြောင့် အရေးကြီးသလဲ?

အစဉ်အလာအားဖြင့်၊ အဆုံးတွင် 'မြေပုံ' ခေါ်ဆိုမှုဖြင့် `flatMap` ခေါ်ဆိုမှုများ၏ ကွင်းဆက်တစ်ခုဆီသို့ `for`-နားလည်နိုင်စွမ်းရှိသော desugars တစ်ခုဖြစ်သည်။ ၎င်းသည် နားလည်မှု၏အဆင့်တိုင်းတွင် ယခင်တစ်ခု၏ရလဒ်ပေါ်တွင်မူတည်သည့် monadic sequencing ကိုကိုယ်စားပြုသည်။ ဒါပေမယ့် မင်းရဲ့လုပ်ဆောင်ချက်တွေက အမှီအခိုကင်းတယ်ဆိုရင်ကော။ အသုံးပြုသူမှတ်ပုံတင်ပုံစံကို တရားဝင်စစ်ဆေးရန် စဉ်းစားကြည့်ပါ- အသုံးပြုသူအမည်၊ အီးမေးလ်နှင့် စကားဝှက်တို့ကို စစ်ဆေးရန် လိုအပ်သည်။ ဤအတည်ပြုချက်များသည် တစ်ခုနှင့်တစ်ခုအပေါ် မမူတည်ပါ။ ၎င်းတို့သည် လွတ်လပ်စွာလုပ်ဆောင်နိုင်ပြီး ၎င်းတို့၏ရလဒ်များကို ပေါင်းစပ်နိုင်သည်။ ဤသည်မှာ အပလီကေးရှင်း လုပ်ဆောင်ချက်များ၏ ဒိုမိန်းဖြစ်သည်။ အပလီကေးရှင်းပရိုဂရမ်ရေးဆွဲခြင်းသည် အပြိုင်အတည်ပြုခြင်းနှင့် ပေါင်းစပ်မှုကို ခွင့်ပြုစေပြီး၊ ဖြစ်နိုင်ချေရှိသော စွမ်းဆောင်ရည်အကျိုးခံစားခွင့်များနှင့် ပိုမိုရှင်းလင်းသော အမှားအယွင်းများကို ကိုင်တွယ်ခြင်းတို့ကို ပေးဆောင်စေသည်။ `for`-notation၊ monadic sequencing နှင့် ချိတ်ဆက်ထားသော စံသည် ဤပုံစံကို မူရင်းအတိုင်း မဖော်ပြနိုင်ပါ။

"Apply Within" ကိုအသုံးပြုခြင်း- Desugaring Strategy အသစ်

"Apply Within" ၏ အယူအဆမှာ Scala compiler ကို ပိုမိုစမတ်ကျအောင် ပြုလုပ်ခြင်း ဖြစ်သည်။ ဂျင်နရေတာတိုင်းကို မျက်စိစုံမှိတ် ဖျက်ဆီးမည့်အစား (`

Scala တွင် ဖော်ပြနိုင်သော တွက်ချက်မှု၏အနာဂတ်

Scala ၏ `for`-notation သို့ မူရင်းအသုံးပြုသည့် ဆော့ဖ်ဝဲကို ထည့်သွင်းခြင်းသည် စိတ်လှုပ်ရှားဖွယ်ရာ နယ်နိမိတ်တစ်ခုဖြစ်သည်။ ၎င်းသည် ဘာသာစကား၏ လက်လှမ်းမီဆုံးသော အထားအသိုအတွင်း တိုက်ရိုက်တည်ဆောက်ထားသော ပိုမိုသိမ်မွေ့ပြီး အစွမ်းထက်သော လုပ်ဆောင်နိုင်စွမ်းရှိသော ပရိုဂရမ်းမင်းဆီသို့ ဦးတည်ရွေ့လျားမှုကို ကိုယ်စားပြုသည်။ Modularity နှင့် ရှင်းလင်းပြတ်သားမှုအပေါ် အခြေခံ၍ တည်ဆောက်ထားသည့် Mewayz ကဲ့သို့သော ပလပ်ဖောင်းတစ်ခုအတွက်၊ ဤဆင့်ကဲဖြစ်စဉ်သည် ကျွန်ုပ်တို့၏ပန်းတိုင်များနှင့် လုံးဝကိုက်ညီပါသည်။ ၎င်းသည် ကျွန်ုပ်တို့၏ developer များအား ကုဒ်တွင် ဘာလုပ်ရမည်ကို ဖော်ပြရုံသာမက လိုအပ်သည့်နေရာတွင် အပြိုင်ဖြစ်နိုင်သည်ဖြစ်စေ လိုအပ်သည့်နေရာတွင် ဆက်တိုက်လုပ်ဆောင်နိုင်သည်ကိုလည်း အရိပ်အမြွက်ဖော်ပြထားသည့် ကုဒ်သည် အဘယ်အရာလုပ်ဆောင်ရမည်ကို ဖော်ပြရုံသာမက လိုအပ်သည့်နေရာတွင် စဉ်ဆက်မပြတ်လုပ်ဆောင်နိုင်သည့် ယုတ္တိယုတ္တိကိုပင် ကျွန်ုပ်တို့၏ developer များအား ပိုမိုကောင်းမွန်စွာရေးသားနိုင်စေရန် စွမ်းဆောင်နိုင်မည်ဖြစ်သည်။ ၎င်းသည် ရှုပ်ထွေးသောစနစ်များကို ရိုးရှင်းစွာ၊ နားလည်နိုင်သော၊ ထိရောက်မှုရှိနေစေမည့် နည်းပညာဆိုင်ရာတိုးတက်မှုမျိုးဖြစ်သည်။