Stupidly Obscure Programming in a Trouble Time (2018)

Sila a bolesť pochopenia Scala

Scala je základným kameňom elegantného a funkčného programovania. Umožňuje vývojárom sekvenovať operácie na monadických typoch, ako sú „Option“, „Future“ a „List“ s čistým štýlom, ktorý vyzerá ako imperatív. Namiesto spletitého zmätku vnorených volaní `flatMap` a `map` môžeme napísať kód, ktorý je čitateľný aj expresívny. Avšak tento syntaktický cukor, hoci je chutný, má skrytú cenu. Kompilátor odcukruje zápis „for“ do svojho základného monadického reťazca, ale tento proces je nepružný, obmedzený na pevnú množinu metód a niekedy môže zakryť skutočnú výpočtovú štruktúru. Pre tímy, ktoré budujú komplexné systémy, ako je modulárny obchodný operačný systém v spoločnosti Mewayz, je pochopenie a kontrola tohto odcukrovania kľúčové pre písanie robustného, výkonného a udržiavateľného kódu.

Čo je to aplikačné odcukrovanie a prečo na ňom záleží?

Tradične výraz „pre“-porozumenie odstráni reťaz volaní „plochej mapy“ s volaním „mapa“ na konci. Toto predstavuje monadickú postupnosť, kde každý krok v porozumení závisí od výsledku predchádzajúceho. Ale čo ak sú vaše operácie nezávislé? Zvážte overenie registračného formulára používateľa: musíte skontrolovať používateľské meno, e-mail a heslo. Tieto overenia nezávisia jedna od druhej; môžu a mali by byť vykonávané nezávisle a ich výsledky sú kombinované. Toto je doména aplikačných funktorov. Aplikatívne programovanie umožňuje paralelnú validáciu a kombináciu, pričom ponúka potenciálne výhody výkonu a deklaratívnejšie spracovanie chýb. Štandardná notácia „for“ spojená s monadickým sekvenovaním nemôže tento vzor natívne vyjadriť.

"Schopnosť odcukrovať porozumenia do aplikačných operácií tam, kde je to možné, mení hru. Odomyká viac deklaratívneho kódu a môže výrazne zvýšiť efektivitu odhalením nezávislých výpočtov." - Inžinier platformy Mewayz

Použitie možnosti „Použiť v rámci“: Nová stratégia odcukrovania

Koncept „Použiť v rámci“ je o tom, aby bol kompilátor Scala inteligentnejší. Namiesto slepého odcukrovania každého generátora ("<-") v porozumení "for" do "plochej mapy" by pokročilejšia stratégia odcukrovania analyzovala závislosti medzi riadkami. Ak hodnota vygenerovaná na neskoršom riadku nezávisí od hodnoty zo skoršieho riadku, odcukrenie môže namiesto monadickej „plochej mapy“ použiť aplikačnú „ap“ (alebo známejšiu kombináciu „produkt“ a „mapa“. Toto transformuje sekvenčný reťazec na paralelný výpočtový graf. Nástroje ako knižnica mačiatka to preskúmali na automatické odvodenie, ale myšlienka smeruje k zásadnejšej schopnosti v rámci samotného jazyka.

V spoločnosti Mewayz, kde moduly nášho podnikového operačného systému často zabezpečujú overovanie a agregáciu údajov z viacerých nezávislých zdrojov, vedie použitie aplikačného štýlu k:

• Jasnejšie zámery: Kód explicitne ukazuje, kedy sú operácie nezávislé, čo uľahčuje uvažovanie o obchodnej logike.
• Vylepšený výkon: Nezávislé overenia alebo načítanie údajov možno vykonávať paralelne, čím sa zníži latencia.
• Lepšia akumulácia chýb: Na rozdiel od monadických reťazcov, ktoré rýchlo zlyhávajú, aplikačná validácia umožňuje zhromaždiť všetky chyby naraz, čo je dôležitá funkcia pre formuláre a koncové body rozhrania API pre používateľov.

Budúcnosť expresívnych výpočtov v Scala

Prinesenie natívneho aplikačného odcukrovania do zápisu „for“ Scaly je vzrušujúcou hranicou. Predstavuje posun k jemnejším a výkonnejším konštrukciám funkčného programovania priamo v rámci najdostupnejšej syntaxe jazyka. Pre platformu ako Mewayz, ktorá je postavená na princípe modularity a prehľadnosti, je tento vývoj dokonale v súlade s našimi cieľmi. Umožnilo by to našim vývojárom napísať ešte deklaratívnejšiu obchodnú logiku, kde kód nielen popisuje, čo robiť, ale tiež naznačuje, ako to možno optimálne vykonať – sekvenčne, ak je to potrebné, paralelne, ak je to možné. Toto je druh technologického pokroku, ktorý umožňuje, aby zložité systémy zostali jednoduché, zrozumiteľné a efektívne.

Často kladené otázky

Sila a bolesť pochopenia Scala

Scala je základným kameňom elegantného a funkčného programovania. Umožňuje vývojárom sekvenovať operácie na monadických typoch, ako sú „Option“, „Future“ a „List“ s čistým štýlom, ktorý vyzerá ako imperatív. Namiesto spletitého zmätku vnorených volaní `flatMap` a `map` môžeme napísať kód, ktorý je čitateľný aj expresívny. Avšak tento syntaktický cukor, hoci je chutný, má skrytú cenu. Kompilátor odcukruje zápis „for“ do svojho základného monadického reťazca, ale tento proces je nepružný, obmedzený na pevnú množinu metód a niekedy môže zakryť skutočnú výpočtovú štruktúru. Pre tímy, ktoré budujú komplexné systémy, ako je modulárny obchodný operačný systém v spoločnosti Mewayz, je pochopenie a kontrola tohto odcukrovania kľúčové pre písanie robustného, výkonného a udržiavateľného kódu.

Čo je to aplikačné odcukrovanie a prečo na ňom záleží?

Tradične výraz „pre“-porozumenie odstráni reťaz volaní „plochej mapy“ s volaním „mapa“ na konci. Toto predstavuje monadickú postupnosť, kde každý krok v porozumení závisí od výsledku predchádzajúceho. Ale čo ak sú vaše operácie nezávislé? Zvážte overenie registračného formulára používateľa: musíte skontrolovať používateľské meno, e-mail a heslo. Tieto overenia nezávisia jedna od druhej; môžu a mali by byť vykonávané nezávisle a ich výsledky sú kombinované. Toto je doména aplikačných funktorov. Aplikatívne programovanie umožňuje paralelnú validáciu a kombináciu, pričom ponúka potenciálne výhody výkonu a deklaratívnejšie spracovanie chýb. Štandardná notácia „for“ spojená s monadickým sekvenovaním nemôže tento vzor natívne vyjadriť.

Použitie možnosti „Použiť v rámci“: Nová stratégia odcukrovania

Koncept „Použiť v rámci“ je o tom, aby bol kompilátor Scala inteligentnejší. Namiesto slepého odcukrovania každého generátora (`

Budúcnosť expresívnych výpočtov v Scale

Prinesenie natívneho aplikačného odcukrovania do zápisu „for“ Scaly je vzrušujúcou hranicou. Predstavuje posun k jemnejším a výkonnejším konštrukciám funkčného programovania priamo v rámci najdostupnejšej syntaxe jazyka. Pre platformu ako Mewayz, ktorá je postavená na princípe modularity a prehľadnosti, je tento vývoj dokonale v súlade s našimi cieľmi. Umožnilo by to našim vývojárom napísať ešte viac deklaratívnu obchodnú logiku, kde kód nielen popisuje, čo treba robiť, ale aj naznačuje, ako to možno optimálne vykonať – sekvenčne, ak je to potrebné, paralelne, ak je to možné. Toto je druh technologického pokroku, ktorý umožňuje, aby zložité systémy zostali jednoduché, zrozumiteľné a efektívne.