Python bloklarındaki kolon teknik olarak gerekli mi?

Bu gerçekten daha fazlasını anlamak isteyen bir python acemi tarafından teorik bir sorudur.

Python'daki blok ilk ifadelerinden sonra iki nokta üst üste unutmaya devam ediyorum. Demek istediğim bunlar:

• for <variable> in <sequence>:
• if <blah blah>:

Benim düşüncem unutmaya devam etmemin bir nedeni, fiili olarak örtük olmalarıdır: iki nokta üst üste ya da değil, ifade bu satırla biter.

Python sözdiziminin nasıl çalıştığını öğrenmek için sorduğum sorum, iki nokta üst üste gerçekten gereksiz mi? İki nokta üst üste artık gerekli olmayacak şekilde python sözdizimini değiştirecek miydim, bir şey kırılır mı? Bu bazı ifadeleri belirsiz veya imkansız hale getirir mi?

Evet, kolon belirli yapıları netleştirmek için gereklidir. Örneğin, düşünün if x - y < z: pass. İki nokta üst üste işareti olmadan, x, y ve z'nin bağlamını bilmeden bunun nasıl ayrıştırılacağına karar veremeyiz. if x: -y < z...x boolean if x - y < z:ise geçerlidir, aksi takdirde geçerlidir.

Bir programlama dilinin, ayrıştırmak için derlediğiniz noktaya kadar bir uygulama yürütmenizi gerektirmemesi çok iyi bir fikir olduğundan, iki nokta üst üste çok gereklidir. Onu bırakabilirsiniz, ancak anlamsızlaştırmak için başka yollara ihtiyacınız olacak.

Kolon dilbilgisi açısından gerçekten gerekli değildir, Python farklı bir dünyada tasarlanmış olsaydı, dil tasarımcısının iki nokta üst üste işaret etmeye karar vermeyebileceği düşünülebilir. Gerçekten de Cobra gibi diller bunu yapıyor.

Python'da kolonun gerekli olmasının temel nedeni insan tarafından okunabilirliğidir. Python SSS'den alıntı yapmak için :

İf / while / def / class ifadeleri için neden iki nokta üst üste gerekir?

İki nokta üst üste okunabilirliği arttırmak için gereklidir (deneysel ABC dilinin sonuçlarından biri). Bunu düşün:

if a == b
    print(a)

e karşı

if a == b:
    print(a)

İkincisinin okunmasının biraz daha kolay olduğuna dikkat edin. Bir kolonun bu SSS cevabındaki örneği nasıl ortaya koyduğuna dikkat edin; İngilizce standart bir kullanımdır.

Bir başka küçük neden de, kolonun sözdizimi vurgulaması olan editörleri kolaylaştırmasıdır; program metninin daha ayrıntılı bir şekilde ayrıştırılması yerine girintinin ne zaman artırılması gerektiğine karar vermek için iki nokta üst üste işareti arayabilirler.

SSS'de de belirtildiği gibi, iki nokta üst üste dili tamamen ayrıştırmadan python kodunu işlemeyi kolaylaştırır. Python derleyicisi de dahil olmak üzere tam teşekküllü ayrıştırıcıya sahip herhangi bir metin işlemcisi, iki nokta üst üste gerekmeden veya açık olduğunda isteğe bağlı yapılmışsa yapabilir.

Bilgisayar için değil, insanlar için gerekli.

Guido van Rossum'un (Python'un yaratıcısı) bir süre Python tarih blogu vardı. Kolon, Python'un birçok özelliğinin kaynağı olan ABC'de tanıtıldı .

In "Karin Dewar, Indentasyonu ile Colon" bu blog yayınında Guido yazıyor:

Ve burada Lambert'in isteği üzerine yorum yapacağım.

1978 yılında, Jabłonna (Polonya), Robert Dewar, Peter King, Jack Schwartz ve Lambert'teki bir konaktaki bir tasarım oturumunda, her alternatifte yazılı (buggy) kabarcık sıralama uygulamalarını karşılaştırarak B için çeşitli alternatif önerilen sözdizimlerini karşılaştırıyorlardı. Anlaşamadıkları için Robert Dewar'ın karısı odasından çağrıldı ve modern bir Paris'in Hera, Athena ve Afrodit'in güzelliğini karşılaştırmasını istediği gibi fikrini istedi. Ama ilk versiyon ona açıklandıktan sonra, şöyle diyordu: "Yani, 'FOR i ...' yazan satırda, sadece bu satır için değil, takip eden satırlar için de yapılması gerektiğini mi söylüyorsunuz? !" Ve burada bilim adamları, bu hattın sonunda bir kolon olsaydı yanlış anlaşılmanın önleneceğini fark ettiler.

( B burada ABC'ye yol açan bir dizi B0, B1, ... prototip dili. C'nin selefi olan B dili değil).

Ayrıca Guido'nun 90'larda, iki nokta üst üste ile biten bir çizgiden sonra otomatik olarak bir girinti ekleyebilecek olan editörlerin yararına olduğunu belirtti. Ama bunun için henüz bir kaynak bulamadım.

Cobra Programlama Dili 'ın sözdizimi ağır Python en esinlenerek ve buna kesinlikle gerekli olmadığını görünüyor bu yüzden, uzak nokta üst üste ile yaptığı edilir. Ancak, yeterli değildir , sadece iki nokta üst üste kaldırmak gerekli sözdizimi başka değişiklikler vardır. Örneğin, oyuncak projelerimden birindeki bu kod parçasına bakın :

kons  = lambda hd, tl: lambda x: hd if x else tl
virst = lambda l: l(True )
rrest = lambda l: l(False)

Vücudu parametre listesinden ayırmak için iki nokta üst üste olmadan, girintiyi kullanmam gerekirdi:

kons  = lambda hd, tl
    lambda x
        hd if x else tl

virst = lambda l
    l(True )

rrest = lambda l
    l(False)

Cobra'nın önceki sürümlerinin iki nokta üst üste işaretini isteğe bağlı hale getirdiğine inanıyorum, girintiyi, iki nokta üst üste işaretini veya her ikisini birden kullanabilirsiniz. Denetim ifadelerinin farklı bölümlerini ayırmak için anahtar kelimelerin bulunduğu Ruby'de nasıl çalıştığına benzer, ancak ifade ayırıcılarını da kullanabilirsiniz (noktalı virgül veya yeni satır):

# idiomatic
while true do puts "I am awesome" end
#          ↑↑

# non-idiomatic, but legal
while true; puts "I am awesome" end
#         ↑

# non-idiomatic, but legal
while true
puts "I am awesome" end

# idiomatic
while true
  puts "I am awesome"
end

Cobra'nın mevcut sürümlerinde virgül kullanabilirsiniz:

if x
    y

olarak yazılabilir

if x, y

İhtiyacınız bazı kontrol ifadeleri veya tanımların farklı bölümlerini ayıran yolu. Python'da bu kolon. Kolonu çıkarırsanız, başka bir şeyle değiştirmeniz gerekir, örneğin zorla girinti. Yalnızca iki nokta üst üste işaretinin kaldırılması işe yaramaz.

Kesin olarak emin olmanın tek yolu, sözdizimini iki nokta üst üste ve iki nokta üstüste resmileştirmek ve belirsizliğini kanıtlamaktır.

Bununla birlikte, Python Zen'in aforizmalarından birinin "Açık, Kapalı Örtüden Daha İyi" olduğuna dikkat edin, bu nedenle, iki nokta üst üste işaretli blokların açık bir şekilde tanımlanması, Python'un genel felsefesine uygun görünmektedir. Tasarım ve Tarih SSS ayrıca bu kararın Python'un öncülü ABC den ampirik kanıtlara dayalı olduğunu bahseder.