RE#: an ye regex motɛri teliyalenba dilan cogo min na F# .

Teliya min tɛ se ka suma ni tɔw ye, o bɔli : RE#

porogaramuw dilanni diɲɛ kɔnɔ , kumasen kɔrɔlenw ye baarakɛminɛn jɔnjɔn ye sɛbɛnniw lajɛcogo n’u tiɲɛni kama. Nka, i n’a fɔ baarakɛla bɛɛ b’a dɔn cogo min na, regex min ma ɲɛ kosɛbɛ, o bɛ se ka kɛ baarakɛcogo gɛlɛyaba ye, ka kunnafonidilanw baara sumaya ani ka nɔ bila baarakɛlaw ka dɔnniya la. Mewayz la, an ka jago OS modulari dabɔra yɔrɔ min na walasa ka baarakɛda ka baarakɛcogo gɛlɛnw ɲɛnabɔ ni baarakɛcogo ɲumanba ye, an ma se ka o buteli suguw sara. An mago tun bɛ regex motɛri la min fanga tun tɛ dɔrɔn, nka a tun bɛ teliya kosɛbɛ. O y’an bila taama dɔ la walasa ka RE# jɔ, n’o ye regex motɛri ye min bɛ baara kɛ kosɛbɛ, n’a bɛɛ sɛbɛnnen bɛ F# la. An ka laɲini tun ye ka F# ka baarakɛcogo-fɔlɔ paradigme ta walasa ka fura dɔ da min bɛ baara kɛ ka tɛmɛ hali C++ gafemarayɔrɔw kan minnu ɲɛnabɔra kosɛbɛ, wa an sera.

Mun na F# ye Regex Motɛri ye ?

F# sugandili kɛra laɲini ni fɛɛrɛ ye . Hali n’a y’a sɔrɔ kanw i n’a fɔ C walima C++ ka teli ka kɛ baarakɛcogo-kɔrɔ-kode fɔlɔ ye, an dalen tun b’a la ko F# ka fɛn kɛrɛnkɛrɛnnenw bɛnnen don kosɛbɛ cogoya ɲɛnabɔli gɛlɛn ma min bɛ sɔrɔ regex jateminɛ na. A ka misali bɛnkan barikama, a ka fɛn caman b’a la ka fɛn caman sɛmɛntiya, ani a ka suguya jiracogo (expressive type system) y’a to an ye gɛlɛya yɔrɔ in modeli cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ se ka kɛ ani ka fili yɔrɔ dɔgɔya. Sani an ka kɛlɛ kɛ ni bolola hakilijagabɔ ɲɛnabɔli ye ani pointeur logique complexe, an tun bɛ se k’an sinsin core algorithm kan. O bɛ bɛn Mewayz ka hakilina ma kosɛbɛ, n’o ye ka modulu barikamaw jɔ, minnu bɛ se ka ladon, ani minnu bɛ baara kɛ kosɛbɛ, minnu bɛ kɛ jagokɛlaw ka baarakɛminɛnw ye minnu bɛ se ka da a kan. F# ye fanga di an ma ka kode sɛbɛn min teliyalen don ani min bɛ tiɲɛ.

Architecting for Performance : ka bɔ NFA la ka se Compiled Execution ma

A kɔnɔna na, regex motɛri fanba bɛ jɔ Non-deterministic Finite Automaton (NFA) kan . Gɛlɛya bɛ sɔrɔ i bɛ o otomatiki in simulate cogo min na. Laadalata motɛriw ka teli ka baara kɛ ni bamanankanfalen modɛli ye, min bɛ NFA taama senfɛ-senfɛ donna taamasiyɛn kelen-kelen bɛɛ kama. RE# bɛ fɛɛrɛ wɛrɛ ta, min ka jugu kosɛbɛ: an bɛ regex misali lajɛ k’a ɲɛsin F# baarakɛcogo kɛrɛnkɛrɛnnen dɔ ma boli waati. O wale in, n’a bɛ fɔ a ma ko Just-in-Time (JIT) daɲɛgafe, o bɛ misali abstrait sɛmɛntiya ka kɛ .NET Intermediate Language (IL) kode ye min bɛ ɲɛ kosɛbɛ. O kɔlɔlɔ ye ko sɛrɛkili dɔ bɛnni tɛ jatebla jɔcogo kɔrɔfɔli ye tugun, nka a bɛ baara dɔ Kɛ min bɛ Kɛ ka kɛɲɛ ni mɔgɔw sago ye min bɛ sɛgɛsɛgɛli Kɛ ni 'sèn sirilen ye. An ka fɛn dilanni yɔrɔ kolomaw ye :

• Pattern Decomposition : ka regex pattern tila ka kɛ Abstract Syntax Tree (AST) ye min sigilen don.
• IL Kode bɔli : IL cikan ɲumanw bɔli fanga la minnu bɛ bɛnkan hakilina jira .
• Cache-Friendly Design : Baarakɛminɛnw lajɛlenw cakɛda ni fanga ye walasa ka u yɛrɛ tanga seginkanni ma misaliw kama minnu bɛ kɛ tuma caman na.
• Zero-Overhead Backtracking : Ka kɔsegin kɔrɔsilen waleyali kɛ ni F# ka baarakɛcogo ɲumanw ye minnu bɛ segin-ka-bɔ ani ka kɔsegin-call optimisations .

Nin dalajɛcogo in de ye sababu fɔlɔ ye RE# ka teliya kabakoma sɔrɔ , a ka c' a la , a bɛ bɛnkan waati dɔgɔya ka se waleyali hakɛw ma minnu bɛ a yɛrɛ kɛrɛfɛ .

ye

"Ni an ye regex misaliw dalajɛ ka kɛ IL ɲuman ye, an bɛ bamanankanfalen-falen-falen-falen-falen bɔ yen cogo ɲuman na, o b'a to RE# ka se ka baara kɛ ka tɛmɛ motɛriw kan minnu sɛbɛnnen don kanw na minnu bɛ duguma. O ye F# ka metaporogaramu seko fanga seereya ye. – Ɛntɛrinɛti ɲɛmɔgɔba, Mewayz Core Team

Jɛɲɔgɔnya ni nɔ bilali Mewayz OS kɔnɔ

RE# yiriwali tun tɛ kalanko degeliw ye ; a tun bɛ boli Mewayz ka plateforme ka diɲɛ mago lakikaw de fɛ. An ka jago OS bɛ a jigi da kunnafonidilan teliya kan fɛn bɛɛ kama, k’a ta waati yɛrɛyɛrɛ sɛgɛsɛgɛli la ani jatebɔsɛbɛnw labɛnni na ka se baarakɛlaw ka donta tiɲɛni ma ani kunnafonidilanw jiginni ma. Sani RE# ka kɛ, an ye baarakɛcogo hiccups sɔrɔ modules kɔnɔ minnu ɲɛsinnen bɛ data ingestion ani validation ma. Ni an ye RE# don ɲɔgɔn na i n’a fɔ regex motɛri kɔrɔlen Mewayz OS kɔnɔ, an ye ɲɛtaa teliyalenw ye ani kosɛbɛ. Donanw dilanni pibilikiw minnu tun bɛ gɛlɛya sɔrɔ doni girinmanw kɔrɔ, sisan olu bɛ baara kɛ ka ɲɛ, k’a to an ka cikɛlaw bɛ se ka baarakɛminɛn gɛlɛnw jɔ ani k’u baara, minnu bɛ kunnafonidilanw caman ta, k’a sɔrɔ u ma hami sɛbɛnniw labɛnni kɔtigɛlenw na. O baarakɛcogo bonya in bɛ ɲɛnamaya kɛcogo bɛɛ ɲɛ, ka modulu kelen-kelen bɛɛ kɛ min bɛ tali kɛ sɛbɛnnikɛcogo la, o bɛ jaabi di ani ka se ka sɛgɛsɛgɛli kɛ.

kuncɛli : fɛnkurabɔli nataw jusigilan dɔ

regex motɛri teliyalenba jɔli F# kɔnɔ , o kɛra ɲɛtaa nafama ye min bɛ Mewayz ka cɛsiri sinsin fɛɛrɛko ɲɛtaa kan . RE# b’a Jira ko kan sugandili i n’a fɔ F# a dabɔbaa ergonomi ye, o kɔrɔ tɛ ka baarakɛcogo saraka; tiɲɛ na, a bɛ se ka kɛ a da wulicogo kun ye. Nin porozɛ in ɲɛtaa bɛ jusigilan barikama di modulu nataw ma Mewayz OS kɔnɔ, k’a jira ko n’an bɛ fɛn barikama caman fara a kan baarakɛcogo otomatiki ni kunnafonidilanw sɛgɛsɛgɛli kama, an ka sɛbɛnnikɛcogo jɔnjɔnw tɛna kɛ dan ye abada. An ye motɛri dɔ jɔ min tɛ teliya bi dɔrɔn ta ye, nka a dilannen don walasa ka sini kunnafoniko gɛlɛya gɛlɛnw ɲɛnabɔ.

Ɲininkali minnu bɛ kɛ tuma caman na

Teliya min tɛ se ka suma ni ɲɔgɔn ye , o bɔli : RE#

porogaramuw dilanni diɲɛ kɔnɔ , kumasen kɔrɔlenw ye baarakɛminɛn jɔnjɔn ye sɛbɛnniw lajɛcogo n’u tiɲɛni kama. Nka, i n’a fɔ baarakɛla bɛɛ b’a dɔn cogo min na, regex min ma ɲɛ kosɛbɛ, o bɛ se ka kɛ baarakɛcogo gɛlɛyaba ye, ka kunnafonidilanw baara sumaya ani ka nɔ bila baarakɛlaw ka dɔnniya la. Mewayz la, an ka jago OS modulari dabɔra yɔrɔ min na walasa ka baarakɛda ka baarakɛcogo gɛlɛnw ɲɛnabɔ ni baarakɛcogo ɲumanba ye, an ma se ka o buteli suguw sara. An mago tun bɛ regex motɛri la min fanga tun tɛ dɔrɔn, nka a tun bɛ teliya kosɛbɛ. O y’an bila taama dɔ la walasa ka RE# jɔ, n’o ye regex motɛri ye min bɛ baara kɛ kosɛbɛ, n’a bɛɛ sɛbɛnnen bɛ F# la. An ka laɲini tun ye ka F# ka baarakɛcogo-fɔlɔ paradigme ta walasa ka fura dɔ da min bɛ baara kɛ ka tɛmɛ hali C++ gafemarayɔrɔw kan minnu ɲɛnabɔra kosɛbɛ, wa an sera.

Mun na F# ye Regex Motɛri ye ?

F# sugandili kɛra laɲini ni fɛɛrɛ ye . Hali n’a y’a sɔrɔ kanw i n’a fɔ C walima C++ ka teli ka kɛ baarakɛcogo-kɔrɔ-kode fɔlɔ ye, an dalen tun b’a la ko F# ka fɛn kɛrɛnkɛrɛnnenw bɛnnen don kosɛbɛ cogoya ɲɛnabɔli gɛlɛn ma min bɛ sɔrɔ regex jateminɛ na. A ka misali bɛnkan barikama, a ka fɛn caman b’a la ka fɛn caman sɛmɛntiya, ani a ka suguya jiracogo (expressive type system) y’a to an ye gɛlɛya yɔrɔ in modeli cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ kɛ cogo la min bɛ se ka kɛ ani ka fili yɔrɔ dɔgɔya. Sani an ka kɛlɛ kɛ ni bolola hakilijagabɔ ɲɛnabɔli ye ani pointeur logique complexe, an tun bɛ se k’an sinsin core algorithm kan. O bɛ bɛn Mewayz ka hakilina ma kosɛbɛ, n’o ye ka modulu barikamaw jɔ, minnu bɛ se ka ladon, ani minnu bɛ baara kɛ kosɛbɛ, minnu bɛ kɛ jagokɛlaw ka baarakɛminɛnw ye minnu bɛ se ka da a kan. F# ye fanga di an ma ka kode sɛbɛn min teliyalen don ani min bɛ tiɲɛ.

Architecting for Performance : ka bɔ NFA la ka se Compiled Execution ma

A kɔnɔna na, regex motɛri fanba bɛ jɔ Non-deterministic Finite Automaton (NFA) kan . Gɛlɛya bɛ sɔrɔ i bɛ o otomatiki in simulate cogo min na. Laadalata motɛriw ka teli ka baara kɛ ni bamanankanfalen modɛli ye, min bɛ NFA taama senfɛ-senfɛ donna taamasiyɛn kelen-kelen bɛɛ kama. RE# bɛ fɛɛrɛ wɛrɛ ta, min ka jugu kosɛbɛ: an bɛ regex misali lajɛ k’a ɲɛsin F# baarakɛcogo kɛrɛnkɛrɛnnen dɔ ma boli waati. O wale in, n’a bɛ fɔ a ma ko Just-in-Time (JIT) daɲɛgafe, o bɛ misali abstrait sɛmɛntiya ka kɛ .NET Intermediate Language (IL) kode ye min bɛ ɲɛ kosɛbɛ. O kɔlɔlɔ ye ko sɛrɛkili dɔ bɛnni tɛ jatebla jɔcogo kɔrɔfɔli ye tugun, nka a bɛ baara dɔ Kɛ min bɛ Kɛ ka kɛɲɛ ni mɔgɔw sago ye min bɛ sɛgɛsɛgɛli Kɛ ni 'sèn sirilen ye. An ka fɛn dilanni yɔrɔ kolomaw ye :

Jɛɲɔgɔnya ni nɔ bilali Mewayz OS kɔnɔ

RE# yiriwali tun tɛ kalanko degeliw ye ; a tun bɛ boli Mewayz ka plateforme ka diɲɛ mago lakikaw de fɛ. An ka jago OS bɛ a jigi da kunnafonidilan teliya kan fɛn bɛɛ kama, k’a ta waati yɛrɛyɛrɛ sɛgɛsɛgɛli la ani jatebɔsɛbɛnw labɛnni na ka se baarakɛlaw ka donta tiɲɛni ma ani kunnafonidilanw jiginni ma. Sani RE# ka kɛ, an ye baarakɛcogo hiccups sɔrɔ modules kɔnɔ minnu ɲɛsinnen bɛ data ingestion ani validation ma. Ni an ye RE# don ɲɔgɔn na i n’a fɔ regex motɛri kɔrɔlen Mewayz OS kɔnɔ, an ye ɲɛtaa teliyalenw ye ani kosɛbɛ. Donanw dilanni pibilikiw minnu tun bɛ gɛlɛya sɔrɔ doni girinmanw kɔrɔ, sisan olu bɛ baara kɛ ka ɲɛ, k’a to an ka cikɛlaw bɛ se ka baarakɛminɛn gɛlɛnw jɔ ani k’u baara, minnu bɛ kunnafonidilanw caman ta, k’a sɔrɔ u ma hami sɛbɛnniw labɛnni kɔtigɛlenw na. O baarakɛcogo bonya in bɛ ɲɛnamaya kɛcogo bɛɛ ɲɛ, ka modulu kelen-kelen bɛɛ kɛ min bɛ tali kɛ sɛbɛnnikɛcogo la, o bɛ jaabi di ani ka se ka sɛgɛsɛgɛli kɛ.

kuncɛli : fɛnkurabɔli nataw jusigilan dɔ

regex motɛri teliyalenba jɔli F# kɔnɔ , o kɛra ɲɛtaa nafama ye min bɛ Mewayz ka cɛsiri sinsin fɛɛrɛko ɲɛtaa kan . RE# b’a Jira ko kan sugandili i n’a fɔ F# a dabɔbaa ergonomi ye, o kɔrɔ tɛ ka baarakɛcogo saraka; tiɲɛ na, a bɛ se ka kɛ a da wulicogo kun ye. Nin porozɛ in ɲɛtaa bɛ jusigilan barikama di modulu nataw ma Mewayz OS kɔnɔ, k’a jira ko n’an bɛ fɛn barikama caman fara a kan baarakɛcogo otomatiki ni kunnafonidilanw sɛgɛsɛgɛli kama, an ka sɛbɛnnikɛcogo jɔnjɔnw tɛna kɛ dan ye abada. An ye motɛri dɔ jɔ min tɛ teliya bi dɔrɔn ta ye, nka a dilannen don walasa ka sini kunnafoniko gɛlɛya gɛlɛnw ɲɛnabɔ.