Raku kuralları - Raku rules

Raku kuralları bunlar Düzenli ifade, dize eşleme ve genel amaçlı ayrıştırma tesisi Raku programlama dili ve dilin temel bir parçasıdır. Dan beri Perl desen eşleştirme yapıları, resmi bir süredir düzenli ifadeler kullanıyorsa, Raku belgeleri bunlardan yalnızca şu şekilde bahsediyor: normal ifadeler, terimi biçimsel tanımdan uzaklaştırmak.

Raku, normal ifadelere göre Perl 5 özelliklerinin bir üst kümesini sağlar ve bunları daha geniş bir çerçeveye katlar: kurallar, bir ifade dilbilgisini ayrıştırma yanı sıra bir kapatma sözcük kapsamlarına göre.^[1] Kurallar, kural alt rutin tanımlarına oldukça benzer bir kullanıma sahip olan anahtar kelime. Anonim kurallar, normal ifade (veya rx) anahtar sözcüğü veya normal ifadeler Perl 5'te olduğu için satır içi olarak kullanılabilir. m (eşleşen) veya s (ikame) operatörleri.

Tarih

İçinde Kıyamet 5Raku örüntü eşleştirmesinin ön tasarım kararlarını özetleyen bir belge olan Larry Wall, "mevcut normal ifade kültürü" ile ilgili 20 sorunu numaralandırdı. Bunlar arasında Perl'in normal ifadelerinin "çok derli toplu ve" sevimli "olması," çok az meta karaktere çok fazla güvenmesi "," adlandırılmış yakalamalar için çok az destek "," gramerler için çok az destek "ve" gerçek "ile zayıf entegrasyon vardı. dil".^[2]

2004 sonu ile 2005 ortası arasında, Raku stil kuralları için bir derleyici geliştirildi. Parrot sanal makine Parrot Dilbilgisi Motoru (PGE) olarak adlandırıldı ve daha sonra daha genel olarak yeniden adlandırıldı Ayrıştırıcı Dilbilgisi Motoru. PGE, herhangi bir papağan tabanlı derleyicinin bu araçları ayrıştırma için kullanmasına ve ayrıca çalışma zamanlarına kurallar sağlamasına olanak tanıyan Raku stili gramerler için çalışma zamanı ve derleyicinin bir kombinasyonudur.

Diğer Raku özelliklerinin yanı sıra, 2007'de Perl 5.10'a adlandırılmış yakalamalar için destek eklendi.^[3]

Mayıs 2012'de Raku'nun referans uygulaması, Rakudo, Rakudo Star aylık anlık görüntüsünü çalışan bir JSON ayrıştırıcı tamamen Raku kurallarında oluşturulmuştur.^[4]

Perl 5'ten Değişiklikler

Perl 5'in normal ifadelerinden yalnızca altı değişmemiş özellik vardır:

• Değişmezler: kelime karakterleri (harfler, sayılar ve vurgulamak ) tam anlamıyla eşleşti
• Yakalama: (...)
• Alternatifler: |
• Ters eğik çizgi kaçış:
• Tekrarlama niceleyicileri: *, +, ve ?, Ama değil {m, n}
• Minimum eşleşen son ek: *?, +?, ??

En güçlü eklemelerden bazıları şunları içerir:

• Kullanarak kurallara başvurma yeteneği <rulename> tüm gramerleri oluşturmak için.
• Programcının kontrol etmesine izin veren bir avuç commit operatörü geri izleme eşleştirme sırasında.

Aşağıdaki değişiklikler, normal ifadelerin okunabilirliğini büyük ölçüde iyileştirir:

• Yakalamayan basitleştirilmiş gruplar: [...]Perl 5'ler ile aynıdır: (?:...)
• Basitleştirilmiş kod iddiaları: <?{...}>
• Beyaz boşlukların eşleştirilmeden dahil edilmesine izin vererek çok satırlı normal ifadelere izin verir. Kullanım veya ' ' boşluk ifade etmek için.
• Genişletilmiş normal ifade biçimlendirme (Perl 5'ler / x) artık varsayılandır.

Örtük değişiklikler

Perl 5 normal ifadelerinin bazı özellikleri, Raku kurallarının genişletilmiş özelliklerini kapsama yeteneklerinden dolayı Raku'da daha güçlüdür. Örneğin, Perl 5'te pozitif ve negatif önden okuma operatörleri vardı (?=...) ve (?!...). Raku'da bu aynı özellikler vardır, ancak <before ...> ve <!before ...>.

Ancak, çünkü önce gelişigüzel kuralları kapsayabilir, ileri görüşlü olarak ifade etmek için kullanılabilir. sözdizimsel yüklem bir gramer için. Örneğin, aşağıdaki ifade dilbilgisini ayrıştırma klasiği tanımlar bağlamdan bağımsız dil ${displaystyle {a ^ {n} b ^ {n} c ^ {n}: ngeq 1}}$:

S ← & (A! B) a + BA ← a A? bB ← b B? c

Raku kurallarında şunlar olabilir:

kural S { <before <A> <!before b>> a+ <B> }kural Bir { bir ? b }kural B { b ? c }

Tabii ki, kuralları ve normal kodu karıştırma yeteneği göz önüne alındığında, bu daha da basitleştirilebilir:

kural S { (a +) (b +) (c +) <{$0.elems == $1.elems == $2.elems}> }

Ancak bu, iddialar, Raku kurallarında oldukça farklı bir kavram olan, ancak ayrıştırma teorisinde büyük ölçüde farklı olan bu, bunu sözdizimsel değil anlamsal bir yüklem haline getirir. Uygulamadaki en önemli fark performanstır. Kural motorunun, iddianın hangi koşullarla eşleşebileceğini bilmesinin bir yolu yoktur, bu nedenle bu sürecin optimizasyonu yapılamaz.

Perl ile entegrasyon

kural ab {    (a.) # "a" ile ardından herhangi bir karakterle eşleşir# Sonra bu karakterin "b" olup olmadığını kontrol edin# Öyleyse, bir mesaj yazdırın.{ $0 ~~ / b {"b'yi bul" deyin} / }}

jeton kelime { w + }kural ifade {  [, ] *. }Eğer $ string ~~ /  / {    ...}

 normal ifade ilave { : ratchet: sigspace  + }

dilbilgisi Str :: SprintfFormat {    normal ifade format_token { \%: ? ? ? }    jeton indeks { d + $ }    jeton hassas { <flags>? <vector>? <precision_count> }    jeton bayraklar { <[ +0#-]>+ }    jeton Precision_count { [<[1-9]> d * | *]? [. [d * | *]]? }    jeton vektör { *? v }    jeton değiştirici { ll | <[lhmVqL]>}    jeton direktif { <[\%csduoxefgXEGbpniDUOF]> }}

Eğer / <Str::SprintfFormat::format_token> / { ... }

rx { a [ b | c ] (d | e) f : g }rx { (ab*) <{ $1.boyut % 2 == 0 }> }

rx { (ab[bb]*) }