Hangi teorik olmayan, pratik programlama dilinde ayrılmış anahtar kelimeler yoktur?

Ayrılmış anahtar kelimeleri olmayan pratik bir programlama dili arıyordum ancak bir tane bulma şansım olmadı.

Kendi düzenlemem ve eğlencem için bir programlama dili üzerinde çalışıyorum ve henüz herhangi bir anahtar kelime eklememe gerek yoktu, bu da beni arama ve soruya yönlendiren şeydi:

Derleyici yazarın, dilin son kullanıcısı için önemli olduğunu düşünmüyorum. Bilgisayarlar günümüzde bağlamdan anlam çıkarmaya yetecek kadar güçlü. Bir yazar, isim, fiil vb. Bir roman yazarken etiketlemek zorunda değildir, neden bir programcının işlevleri ve değişkenleri function x() {}veya set x = 1veya var x = 1vb. İle etiketlemesi gerekir ; ifadeler bağlamından bunun bir işlev bildirimi veya bir çağrı olduğunu veya bir etiketin bir değere atama veya bu etiket değerine bir başvuru olduğunu söyleyebiliyorsam?

İşte şu andaki çözümleyicimin ne yaptığının somut bir örneği, normalde bir demet gürültüye sahip olan funcya functionda decya da ya da olmayan bir şeyleri ortak şeyleri desteklemek için ayrılmış anahtar kelimelere gerek yok.

İşlev Beyanı

sum3(a,b,c) -> a + b + c.

İşlev Çağrısı

x = sum3(1,2,3).

Adsız İşlev Adı x

x = (a,b,c) -> a + b + c.
y = x(1,2,3).

Başarılı bir programlama dili için neden önemli anahtar kelimeler olduğunu bilmek istiyorum.

MUMPS oldukça başarılı, sigorta ve sağlık hizmetlerinde yaygın olarak kullanılıyor ve özel kelimeleri içermiyor. Daha net bir kod yazmak için yardımcı olduklarını söyleyebilirim ama kesinlikle gerekli değiller. APL başka bir örnektir. APL, Nükleer Endüstrideki diğerlerinin yanı sıra one-off scriptleri için de kullanmaktadır. APL ailesinin bir üyesi olan J de anahtar kelimelerden yoksundur.

Anahtar kelimeler, derleyici yazarlarının daha kolay ayrıştırma yapmasına yardımcı olur. APL ünlü haklı dernektir. Ayrıca sözleşmelerin güçlendirilmesine ve okunabilirliğin iyileştirilmesine yardımcı olurlar. APL'nin büyük oranda okunabilir olduğu bilinmemektedir.

Anahtar kelimeler olmadan iyi bilinen bir dil Lisp. Anahtar kelimelere en yakın şey özel biçimler olarak adlandırılır - sayıları lehçelere göre değişebilir - tercümandan özel muamele görür. Bunun dışında, nasıl kullanılırlarsa, yeniden tanımlanamadıkları durumlar haricinde, normal işlevlerden ayırt edilemezler (en azından aşina olduğum Lisps'de).

Bu basit (ancak yüksek) ağır sözdizimi ile sonuçlanır ve Lisp'in böyle güçlü bir makro sisteme sahip olmasını sağlayan şeylerden biridir. Öte yandan, Lisp’in genellikle okunması zor olduğu söylenir. APL ve MUMPS, daha da ötesi, her ikisini de Brainf * ck. Anahtar kelimeler bu bölümde yardımcı oluyor ve insanlar için okuma kodunu kolaylaştırıyor.

Bu yüzden, başarılı bir dil için anahtar kelimeler gerektiğini söylemem, ancak bir dilin başarılı olması için kesinlikle yardımcı olurlar.

TCL anahtar kelimeler içermez ve gerçekten de sadece 12 sözdizimi kuralı vardır. bir zamanlar olduğu kadar popüler olmasa da, ECAD ve yönlendiricilerde beklediği ve yer aldığı bir yeri var, bu yüzden kesinlikle aklıma bir pratik sayıyor.

Ayrıca, birçok dilin neden bu rotaya gitmediğini gösterebileceğini de düşünüyorum. Evet, bir TCL ayrıştırıcı yazmak mükemmel bir şekilde mümkün (diğer birçok dilden daha tartışmalı) ancak dil için çok yararlı bir BNF dilbilgisi yazamazsınız ve birçok insan dili öğrenmekte zorlanıyor gibi görünüyor. Bunun en azından kısmen anahtar kelime eksikliğinden kaynaklandığından şüpheleniyorum.

Günümüzde bilgisayarlar, bağlamdan anlam çıkarmaya yetecek kadar güçlüdür.

Bu, bağlamsız bir gramer istediğin anlamına mı geliyor? İyi şanslar.

Bu güçlü ya da olmamakla ilgili bir soru değil. Dillerle ilgili sonsuz, değişmeyen kurallar var - matematiksel olanlar. Bu ve bir programlama dilinin sözdizimsel olarak kolay olması gerektiği, CFG'lerin on yıllarca gelmesini sağlayacaktır.

Btw., Haskell'de sentaks gibi, sadece

f x y = (x+1)*(y-1)

Bir işlevi tanımlamak için Ancak, bu durumda "anahtar kelimenin" "=" olduğunu gözlemleyin. Eğer kaçırırsanız, ayrıştırıcıda korkunç şeyler olacak.

Ama bu seninle aynı fikirde olduğum bir nokta, bunu diğer dillerde fonksiyonlar tanıtan tüm def, dcl, fun, fn, function ya da what-not anahtar kelimelerinden daha sezgisel buluyorum.

Ancak, bu dilbilgisi düz eski LALR (1) 'de yazılabilir, hiçbir anlamı burada "bağlamdan çıkarılamaz".

Bildiğim kadarıyla Smalltalk, en az anahtar kelimeye sahip dildir (Brainfuck gibi dilleri saymıyorsam). Smalltalk anahtar kelimeler true, false, nil, self, superve thisContext.

Smalltalk'tan ilham alan ve anahtar kelimesi olmayan bir kordon tasarladım. Ancak bir süre kullandıktan sonra, çoğunlukla sözdizimsel şeker için birkaç anahtar kelime ekledim.

Bu nedenle, benim görüşüme göre, anahtar kelimeleri olmayan bir dilin mümkün olduğu, ancak çok pratik değil ve tüm popüler dillerin anahtar kelimeleri olmasının nedeni budur.

Sahte bir varsayımda çalışıyor gibi görünüyorsunuz, anahtar kelimeler derleyici için işleri kolaylaştırmak için orada. Derleyici için işleri kolaylaştırırken, çok daha önemli bir yararı var: Kodu okuyan kişi için işleri kolaylaştırıyor .

Evet, bir çok bağlamı inceleyebilir ve bir işlev bildirgesine veya değişken bir bildirime baktığınızı anlayabilirsiniz, ancak ilgili kodun içeriğine ve karmaşıklığına bağlı olarak, çözülmesi uzun zaman alabilir. . Veya, orada fonksiyon veya var gibi kullanışlı bir anahtar kelimeye sahip olabilirsiniz ve neye baktığınızı hemen bilirsiniz.

Evet, kodun yazılmasını daha karmaşık hale getiriyorlar , ancak programların üretimde olduğundan çok daha fazla zaman harcadıklarını ve kodlarını okunuyor, hata ayıklanıyor ve oluşturulduğundan çok daha fazla koruduğunu ve dilinizi tasarlamaya çalıştığını düşünüyorlar. Okumak yerine kolay yazmayı kolaylaştırır, zararlı erken optimizasyonun klasik bir halidir.

Ayrıca, derleyicinin işini kolaylaştıran kavramları açıklamayın. Ayrıştırmak ne kadar kolaysa, kodunuz o kadar hızlı derlenir, bu da edit-build-debug çevrimlerinin daha hızlı olması anlamına gelir, bu da verimliliğiniz artar.

Büyük, karmaşık bir kod tabanına sahipseniz, bu verimlilikte önemsiz bir fark yaratabilir. Mesela çalıştığım yerde 4 milyon Delphi hattı olan bir programımız var. Yaklaşık 300.000 satır C ++ olan başka bir modülümüz var. Her ikisi de derlenecek kadar zaman alır. (Yaklaşık 3 dakika.) Eğer 4 milyon C ++ satırımız olsa, inşaatı bir saat sürebilir!

Bazı nadir örnekler var.

APL sadece semboller kullanır - ama birçoğu! Dili kullanmak için özel bir klavyeye ihtiyacınız var.

Bkz bu wikipedia makale

CORAL 66 - Anahtar kelimeleri vardı, ancak bunları yalnızca tek tırnak işareti kullanmaları durumunda tanıdı.

PL / 1 anahtar kelimelere de sahipti - ancak bunları değişken veya prosedür adları olarak da kullanabilirsiniz.

Sonuçta sorunuz biraz "neden konuşulan dillerin kelimeleri var?"

Asıl sebep, hem insanların hem de bilgisayarların ayrıştırılmasının daha kolay olmasıdır. Anahtar kelimeler olmadan karmaşık bir dilin yanlış anlaşılması, sözdizimi gibi birçok sembol gerektirir ve çok büyük ve gereksiz yere kafa karıştırıcı olurdu. Bu okumak çok daha kolaydır functiondaha $!{}. Bağlam bütün belirsizlikleri çözmez.