Авыр вакытта аңлаешсыз программалаштыру (2018)

Скаланың аңлау көче һәм авыртуы

Скаланың "аңлау" - нәфис, функциональ программалашуның нигез ташы. Бу уйлап табучыларга чиста, императив күренеш стиле белән "Вариант", "Киләчәк", "Исемлек" кебек монадик төрләр буенча операцияләр эзләргә мөмкинлек бирә. Ояланган "flatMap" һәм "карта" шалтыратуларының чуалышы урынына без укылырлык һәм экспрессив код яза алабыз. Ләкин, бу синтаксик шикәр, тәмле булса да, яшерен бәя белән килә. Төшерүче "for" -ны аның төп монадик чылбырына кертә, ләкин бу процесс каты, билгеле методлар җыелмасы белән чикләнә, һәм кайвакыт чын исәпләү структурасын каплый ала. Мевайздагы модульле бизнес ОС кебек катлаулы системалар төзүче командалар өчен, бу дизайнны аңлау һәм контрольдә тоту нык, башкаручы һәм тотрыклы код язу өчен бик мөһим.

Гамәли дизайн нәрсә ул, һәм ни өчен бу мөһим?

Традицион рәвештә, "яссы карталар" чылбырына "аңлау" десугарлары, ахырда "карта" чакыруы белән. Бу монадик эзлеклелеген күрсәтә, монда аңлауның һәр адымы алдагы нәтиҗәләргә бәйле. Ләкин сезнең операцияләр мөстәкыйль булса? Кулланучының теркәлү формасын раслагыз: кулланучы исемен, электрон почта һәм серсүзне тикшерергә кирәк. Бу тикшерүләр бер-берсенә бәйле түгел; алар мөстәкыйль башкарылырга һәм аларның нәтиҗәләре берләштерелергә тиеш. Бу куллану функцияләренең домены. Гамәли программалаштыру параллель тикшерү һәм комбинация өчен мөмкинлек бирә, потенциаль җитештерү өстенлекләрен һәм декларатив хаталарны эшкәртү тәкъдим итә. Монадик эзлеклелектә бәйләнгән "for"-notation, бу үрнәкне туган телдә белдерә алмый.

"Мөмкин булган очракта оператив операцияләргә аңлау өчен уен үзгәртүче. Бу күбрәк декларатив кодны ачып, бәйсез исәпләүләрне фаш итеп эффективлыкны сизелерлек күтәрә ала." - Мевайз платформасы инженеры

"Эчтә кулланыгыз" куллану: Яңа Дизайгеринг Стратегиясе

"Эчтә куллану" төшенчәсе Scala компилярын акыллырак итү турында. Flatәр генераторны ("<-") "flatMap" га аңлау өчен сукырайту урынына, алдынгы дизайн стратегиясе сызыклар арасындагы бәйләнешне анализлый. Әгәр дә соңрак сызыкта ясалган кыйммәт алдагы сызыктагы кыйммәткә бәйле булмаса, дезугаринг монадик "flatMap" урынына "ap" (яки иң таныш "продукт" һәм "карта" комбинациясен) куллана ала. Бу эзлекле чылбырны параллель-дустанә исәпләү графигына әйләндерә. мәчеләр китапханәсе кебек кораллар моны автоматик алу өчен өйрәнделәр, ләкин идея телнең төп сәләтенә таба этәрә.

Мевайзда, безнең бизнес ОС модуллары еш кына мөстәкыйль чыганаклардан мәгълүматны тикшерү һәм агрегатлау белән эш итәләр, куллану стилен кабул итү:

• Төгәлрәк ният: Код операцияләрнең мөстәкыйль булганын ачык күрсәтә, бизнес логикасы турында уйлануны җиңеләйтә.
• Күчерелгән Эшчәнлек: Бәйсез тикшерү яки мәгълүмат алу параллель рәвештә башкарылырга мөмкин, тоткарлыкны киметә.
• Яхшырак хаталар туплау: Тиз эшләмәгән монадик чылбырлардан аермалы буларак, куллану тикшерүе барлык хаталарны берьюлы җыярга мөмкинлек бирә, кулланучыларга караган формалар һәм API нокталары өчен мөһим үзенчәлек.

Скалада экспрессив исәпләү киләчәге

Скаланың "for" нотасына туган заявканы китерү - дулкынландыргыч чик. Бу телнең иң кулай синтаксисы кысаларында турыдан-туры нуансланган һәм көчле функциональ программалаштыруга таба хәрәкәтне күрсәтә. Мевайз кебек платформа, модульлек һәм аңлаешлылык принцибына корылган, бу эволюция безнең максатларга бик яхшы туры килә. Бу безнең уйлап табучыларга тагын да декларатив бизнес логикасын язарга көч бирәчәк, монда код нәрсә эшләргә генә түгел, ә шулай ук ​​ ничек оптималь рәвештә башкарылырга мөмкинлеген күрсәтә - кирәк булганда эзлекле, мөмкин булган вакытта параллель. Бу катлаулы системаларга гади, аңлаешлы һәм эффектив булып калырга мөмкинлек бирүче технологик алгарыш.

Еш бирелә торган сораулар

Скаланың аңлау көче һәм авыртуы

Скаланың "аңлау" - нәфис, функциональ программалашуның нигез ташы. Бу уйлап табучыларга чиста, императив күренеш стиле белән "Вариант", "Киләчәк", "Исемлек" кебек монадик төрләр буенча операцияләр эзләргә мөмкинлек бирә. Ояланган "flatMap" һәм "карта" шалтыратуларының чуалышы урынына без укылырлык һәм экспрессив код яза алабыз. Ләкин, бу синтаксик шикәр, тәмле булса да, яшерен бәя белән килә. Төшерүче "for" -ны аның төп монадик чылбырына кертә, ләкин бу процесс каты, билгеле методлар җыелмасы белән чикләнә, һәм кайвакыт чын исәпләү структурасын каплый ала. Мевайздагы модульле бизнес ОС кебек катлаулы системалар төзүче командалар өчен, бу дизайнны аңлау һәм контрольдә тоту нык, башкаручы һәм тотрыклы код язу өчен бик мөһим.

Гамәли дизайн нәрсә ул, һәм ни өчен бу мөһим?

Традицион рәвештә, "яссы карталар" чылбырына "аңлау" десугарлары, ахырда "карта" чакыруы белән. Бу монадик эзлеклелекне күрсәтә, монда аңлауның һәр адымы алдагы нәтиҗәләргә бәйле. Ләкин сезнең операцияләр мөстәкыйль булса? Кулланучының теркәлү формасын раслагыз: кулланучы исемен, электрон почта һәм серсүзне тикшерергә кирәк. Бу тикшерүләр бер-берсенә бәйле түгел; алар мөстәкыйль башкарылырга һәм аларның нәтиҗәләре берләштерелергә тиеш. Бу гамәли функцияләр домены. Гамәли программалаштыру параллель тикшерү һәм комбинация өчен мөмкинлек бирә, потенциаль җитештерү өстенлекләрен һәм декларатив хаталарны эшкәртү тәкъдим итә. Монадик эзлеклелектә бәйләнгән "for"-notation, бу үрнәкне туган телдә белдерә алмый.

"Эчтә кулланыгыз" куллану: Яңа Дезугаринг Стратегиясе

"Эчтә куллану" төшенчәсе Scala компилярын акыллырак итү турында. Everyәр генераторны сукыр итеп сайлау урынына (`

Скалада экспрессив исәпләү киләчәге

Скаланың "for" нотасына туган заявканы китерү - дулкынландыргыч чик. Бу телнең иң кулай синтаксисы кысаларында турыдан-туры нуансланган һәм көчле функциональ программалаштыруга таба хәрәкәтне күрсәтә. Мевайз кебек платформа, модульлек һәм аңлаешлылык принцибына корылган, бу эволюция безнең максатларга бик яхшы туры килә. Бу безнең уйлап табучыларга тагын да декларатив бизнес логикасын язарга көч бирәчәк, монда код нәрсә эшләргә кирәклеген аңлатмый, шулай ук оптималь рәвештә ничек башкарылырга мөмкинлеген күрсәтә - кирәк булганда эзлекле, мөмкин булган вакытта параллель. Бу катлаулы системаларга гади, аңлаешлы һәм эффектив булып калырга мөмкинлек бирүче технологик алгарыш.