Mushkul vaqtda ahmoqona dasturlash (2018)

Skalaning tushunish kuchi va og'rig'i

Scala-ning `for`-tushunishi nafis, funktsional dasturlashning asosidir. Bu ishlab chiquvchilarga 'Option', 'Future' va 'Ro'yxat' kabi monadik turlar bo'yicha operatsiyalarni toza, imperativ ko'rinishdagi uslub bilan tartiblash imkonini beradi. “FlatMap” va “map” qo‘ng‘iroqlarining chalkashligi o‘rniga biz o‘qiladigan va ifodali kod yozishimiz mumkin. Biroq, bu sintaktik shakar mazali bo'lsa-da, yashirin narxga ega. Kompilyator "for" belgisini o'zining asosiy monad zanjiriga aylantiradi, ammo bu jarayon qat'iy, qat'iy usullar to'plami bilan cheklangan va ba'zan haqiqiy hisoblash tuzilmasini yashirishi mumkin. Mewayz’dagi modulli biznes OS kabi murakkab tizimlarni yaratuvchi jamoalar uchun bu desugaringni tushunish va nazorat qilish mustahkam, samarali va barqaror kod yozish uchun juda muhimdir.

Ilovaviy desugaring nima va bu nima uchun muhim?

An'anaga ko'ra, "for" - tushunish "flatMap" qo'ng'iroqlari zanjiriga, oxirida "map" qo'ng'irog'iga aylanadi. Bu tushunishdagi har bir qadam avvalgisining natijasiga bog'liq bo'lganmonadik ketma-ketlikni ifodalaydi. Ammo sizning operatsiyalaringiz mustaqil bo'lsa-chi? Foydalanuvchi ro'yxatdan o'tish shaklini tekshirishni o'ylab ko'ring: foydalanuvchi nomi, elektron pochta va parolni tekshirishingiz kerak. Bu tekshirishlar bir-biriga bog'liq emas; ular mustaqil ravishda va ularning natijalarini birlashtirishi mumkin va bajarilishi kerak. Bu amaliy funktorlar domenidir. Amaliy dasturlash parallel tekshirish va kombinatsiyani amalga oshirishga imkon beradi, bu esa potentsial ishlash afzalliklarini va ko'proq deklarativ xatolarni qayta ishlashni taklif qiladi. Monadik ketma-ketlikka bog‘langan standart “for” belgisi bu naqshni asl tarzda ifodalay olmaydi.

"Iloji bo'lsa, amaliy operatsiyalarga tushunarli narsalarni yo'q qilish qobiliyati o'yinni o'zgartiradi. U ko'proq deklarativ kodni ochadi va mustaqil hisob-kitoblarni ochib berish orqali samaradorlikni sezilarli darajada oshirishi mumkin." - Mewayz platformasi muhandisi

"Ichkarida qo'llash" ni qo'llash: yangi desugaring strategiyasi

"Ichkarida qo'llash" kontseptsiyasi Scala kompilyatorini aqlli qilish bilan bog'liq. "For"-tushunishdagi har bir generatorni ('<-') 'flatMap'ga ko'r-ko'rona o'chirish o'rniga, yanada rivojlangan desugaring strategiyasi chiziqlar orasidagi bog'liqlikni tahlil qiladi. Agar keyingi satrda hosil qilingan qiymat oldingi satrdagi qiymatga bogʻliq boʻlmasa, desugaring monadik “flatMap” oʻrniga amaliy “ap” (yoki koʻproq tanish “mahsulot” va “xarita” birikmasidan foydalanishi mumkin. Bu ketma-ket zanjirni parallel hisoblash grafigiga aylantiradi. mushukchalar kutubxonasi kabi vositalar buni avtomatik ravishda hosil qilish uchun o‘rganib chiqdi, ammo bu g‘oya tilning o‘zida yanada fundamental qobiliyatga intilmoqda.

Mewayz-da, bizning biznes OS modullarimiz ko'pincha bir nechta mustaqil manbalardan ma'lumotlarni tekshirish va yig'ish bilan shug'ullanadi, amaliy uslubni qo'llash quyidagilarga olib keladi:

• Aniqroq maqsad: Kod operatsiyalar qachon mustaqil boʻlishini aniq koʻrsatadi, bu esa biznes mantigʻini tushunishni osonlashtiradi.
• Kengaytirilgan unumdorlik: Mustaqil tekshirishlar yoki ma'lumotlarni olish parallel ravishda amalga oshirilishi mumkin, bu esa kechikishni kamaytiradi.
• Xato toʻplanishi yaxshiroq: Tez ishdan chiqadigan monadik zanjirlardan farqli oʻlaroq, amaliy tekshirish barcha xatolarni bir vaqtning oʻzida toʻplash imkonini beradi, bu foydalanuvchiga qarashli shakllar va API soʻnggi nuqtalari uchun muhim xususiyatdir.

Skalada ekspressiv hisoblashning kelajagi

Scala-ning `for`-notatsiyasiga mahalliy amaliy desugaringni olib kelish juda hayajonli chegaradir. Bu to'g'ridan-to'g'ri tilning eng qulay sintaksisi doirasida yanada nozik va kuchli funktsional dasturlash konstruktsiyalariga o'tishni ifodalaydi. Modullik va ravshanlik tamoyili asosida qurilgan Mewayz kabi platforma uchun bu evolyutsiya bizning maqsadlarimizga juda mos keladi. Bu bizning ishlab chiquvchilarimizga yanada deklarativ biznes mantig'ini yozish imkoniyatini beradi, bunda kod nafaqat nimani ta'riflaydi, balki uni qanday optimal tarzda bajarish mumkinligiga ishora qiladi - kerak bo'lganda ketma-ket, iloji boricha parallel ravishda. Bu murakkab tizimlarning sodda, tushunarli va samarali bo‘lib qolishiga imkon beruvchi texnologik taraqqiyot turidir.

Ko'p beriladigan savollar

Skalaning tushunish kuchi va og'rig'i

Scala-ning `for`-tushunishi nafis, funktsional dasturlashning asosidir. Bu ishlab chiquvchilarga 'Option', 'Future' va 'Ro'yxat' kabi monadik turlar bo'yicha operatsiyalarni toza, imperativ ko'rinishdagi uslub bilan tartiblash imkonini beradi. “FlatMap” va “map” qo‘ng‘iroqlarining chalkashligi o‘rniga biz o‘qiladigan va ifodali kod yozishimiz mumkin. Biroq, bu sintaktik shakar mazali bo'lsa-da, yashirin narxga ega. Kompilyator "for" belgisini o'zining asosiy monad zanjiriga aylantiradi, ammo bu jarayon qat'iy, qat'iy usullar to'plami bilan cheklangan va ba'zan haqiqiy hisoblash tuzilmasini yashirishi mumkin. Mewayz’dagi modulli biznes OS kabi murakkab tizimlarni yaratuvchi jamoalar uchun bu desugaringni tushunish va nazorat qilish mustahkam, samarali va barqaror kod yozish uchun juda muhimdir.

Ilovaviy desugaring nima va bu nima uchun muhim?

An'anaga ko'ra, "for" - tushunish "flatMap" qo'ng'iroqlari zanjiriga, oxirida "map" qo'ng'irog'iga aylanadi. Bu tushunishning har bir bosqichi avvalgisining natijasiga bog'liq bo'lgan monadli ketma-ketlikni ifodalaydi. Ammo sizning operatsiyalaringiz mustaqil bo'lsa-chi? Foydalanuvchi ro'yxatdan o'tish shaklini tekshirishni o'ylab ko'ring: foydalanuvchi nomi, elektron pochta va parolni tekshirishingiz kerak. Bu tekshirishlar bir-biriga bog'liq emas; ular mustaqil ravishda va ularning natijalarini birlashtirishi mumkin va bajarilishi kerak. Bu amaliy funktorlar sohasi. Amaliy dasturlash parallel tekshirish va kombinatsiyani amalga oshirishga imkon beradi, bu esa potentsial ishlash afzalliklarini va ko'proq deklarativ xatolarni qayta ishlashni taklif qiladi. Monadik ketma-ketlikka bog‘langan standart “for” belgisi bu naqshni asl tarzda ifodalay olmaydi.

"Ichkarida qo'llash" ni qo'llash: yangi desugaring strategiyasi

"Ichkarida qo'llash" kontseptsiyasi Scala kompilyatorini aqlli qilish bilan bog'liq. Har bir generatorni ko'r-ko'rona yo'q qilish o'rniga (`

Skalada ekspressiv hisoblashning kelajagi

Scala-ning `for`-notatsiyasiga mahalliy amaliy desugaringni olib kelish juda hayajonli chegaradir. Bu to'g'ridan-to'g'ri tilning eng qulay sintaksisi doirasida yanada nozik va kuchli funktsional dasturlash konstruktsiyalariga o'tishni ifodalaydi. Modullik va ravshanlik tamoyili asosida qurilgan Mewayz kabi platforma uchun bu evolyutsiya bizning maqsadlarimizga juda mos keladi. Bu bizning ishlab chiquvchilarimizga yanada deklarativ biznes mantig'ini yozish imkoniyatini beradi, bu erda kod nafaqat nima qilish kerakligini tasvirlabgina qolmay, balki uni qanday qilib optimal tarzda bajarish mumkinligiga ishora qiladi - kerak bo'lganda ketma-ket, iloji boricha parallel ravishda. Bu murakkab tizimlarning sodda, tushunarli va samarali bo‘lib qolishiga imkon beruvchi texnologik taraqqiyot turidir.