Kademeli Yazma: “Statik yazım sistemine sahip hemen hemen her dilde dinamik yazım sistemi de vardır”

Bu iddia ile Aleks Bromfield devletler:

Statik tip sistemli hemen hemen her dilde dinamik tip sistem de bulunur. C dışında, bir istisna düşünemiyorum

Bu geçerli bir iddia mı? Çalışma zamanında Yansıma veya Yükleme sınıflarıyla Java'nın bu şekilde biraz aldığını anlıyorum - ancak bu 'kademeli yazma' fikri çok sayıda dile genişletilebilir mi?

Orijinal tweeter burada. :)

Her şeyden önce, tweet'imin çok ciddiye alındığı için biraz eğlendim / şok oldum! Bunun yaygın bir şekilde yayılacağını bilseydim, yazmak için 30 saniyeden fazla zaman harcayacaktım!

Thiago Silva, "statik" ve "dinamik" ifadelerin , tür sistemlerinden ziyade tür denetimini daha doğru tanımladığını belirtmekte haklıdır . Aslında, bir dilin statik veya dinamik olarak da yazıldığını söylemek gerçekten doğru değildir. Aksine, bir dilin bir tür sistemi vardır ve bu dilin bir uygulaması, statik denetimi veya dinamik denetimi ya da her ikisini birden ya da her ikisini birden kullanarak (bu çok cazip bir dil uygulaması olmayacaktır!) Tür sistemini zorlayabilir.

Olduğu gibi, statik kontrole daha uygun belirli tip sistemleri (veya tip sistemlerinin özellikleri) ve dinamik kontrole daha uygun belirli tip sistemleri (veya tip sistemlerinin özellikleri) vardır. Örneğin, diliniz bir programın metninde belirli bir değerin her zaman bir tamsayılar dizisi olması gerektiğini belirtmenize izin veriyorsa, o özelliği doğrulamak için statik bir denetleyici yazmak makul olur. Tersine, dilinizde alt tip varsa ve downcasting'e izin veriyorsa, bir downcast'in çalışma zamanının geçerliliğini kontrol etmek oldukça kolaydır, ancak derleme zamanında bunu yapmak son derece zordur.

Benim tweet'imle gerçekten kastettiğim, dil uygulamalarının büyük çoğunluğunun bir miktar dinamik tip kontrolü gerçekleştirmesidir. Veya aynı şekilde, dillerin büyük çoğunluğu statik olarak kontrol edilmesi zor (imkansız değilse de) bazı özelliklere sahiptir. Downcasting bir örnektir. Diğer örnekler aritmetik taşma, dizi sınırları kontrolü ve boş kontrolü içerir. Bunlardan bazıları bazı durumlarda statik olarak kontrol edilebilir, ancak genel olarak, çalışma zamanında herhangi bir kontrol yapmayan bir dil uygulaması bulmakta zorlanırsınız.

Bu kötü bir şey değil. Sadece, dillerimizin zorlamasını istediğimiz birçok ilginç özelliğin olduğu ve statik olarak nasıl kontrol edeceğimizi gerçekten bilmediğimiz bir gözlem. Ve "statik türler" ve "dinamik türler" gibi ayrımların, bazı insanların inandığınız kadar kesin olmadığını hatırlatmak isteriz. :)

Son bir not: "güçlü" ve "zayıf" terimleri programlama dili araştırma topluluğunda gerçekten kullanılmaz ve gerçekten tutarlı bir anlamı yoktur. Genel olarak, birisinin bir dilin "güçlü yazım" olduğunu ve başka bir dilin "zayıf yazım" olduğunu söylediğinde, en sevdikleri dilin ("güçlü yazım" olan dil) diğer dilin ("zayıf yazım" olan dil), en sevdikleri dilin ("zayıf yazım" olan dil) diğer dilin ( biri "güçlü yazarak") değil.

İyi evet. Statik olarak yazılmış herhangi bir dilde özellik çantalarınız olabilir. Sözdizimi korkunç olacak, aynı zamanda dinamik olarak yazılan sistemin tüm dezavantajlarını kazanacaksınız. Derleyici daha güzel bir sözdizimi kullanmanıza izin vermediği sürece gerçekten bir avantaj yoktur, C # gibi bir şey dynamicyapıyor.

Ayrıca, bunu C'de de kolayca yapabilirsiniz.

Diğer cevaplara tepki olarak: İnsanların statik / dinamik yazmayı güçlü / zayıf yazarak yanlış anladıklarını düşünüyorum. Dinamik yazma, çalışma zamanında verilerin yapısını değiştirebilmek ve kodun, kodun gereksinimine uyan verileri kullanabilmekle ilgilidir. Buna Ördek Yazma denir .

Yansımayı belirtmek tüm hikayeyi anlatmaz, çünkü yansıma mevcut verilerin yapısını değiştirmenize izin vermez. C, C ++, Java veya C # 'da bir sınıfa veya yapıya yeni alan ekleyemezsiniz. Dinamik dillerde, mevcut sınıflara yeni alanlar veya öznitelikler eklemek sadece mümkün değil, aynı zamanda oldukça yaygındır.

Örneğin , Python-C-derleyicisi olan Cython'a bakın . Statik C kodu oluşturur, ancak tip sistemi hala dinamik doğasını korur. C statik olarak yazılan bir dildir, ancak Python'dan dinamik yazmayı destekleyebilir.

Dinamik diller statik dillerdir . Yaygın olarak "dinamik yazma" olarak adlandırılan şey gerçekten özel bir statik yazma durumudur - kendinizi yalnızca tek bir türle sınırlandırdığınız durumdur. Bir düşünce deneyi olarak, herhangi bir yöntemi Objectçağırmadan hemen önce yalnızca değişkenleri / alanları / parametreleri ve alçalmayı kullanarak Java veya C # 'da bir program yazmayı hayal edin . Python veya Javascript "unityped" gibi dilleri aramak daha doğru olur. (Bu iddia, muhtemelen böyle bir Java veya C # programının birçok alt tür kullanacağını düşünürse, birçok insanı karıştırır / rahatsız eder, ancak ortalama OOP dili türleri ve sınıfları birleştirir. Daha fazla bilgi için blog gönderisini okuyun.)

C'nin bile "dinamik" yazımına sahip olduğunu unutmayın - herhangi bir işaretçiyi void(ve bellek bana hizmet veriyorsa char) bir işaretçiye ve geri döndürebilirsiniz. Ayrıca, orada çalışma zamanı denetimi olmadığını da unutmayın; Eğer yanlış anlarsanız, tanımlanmamış davranışınızın tadını çıkarın!

Statik ve dinamik yazma arasındaki fark , bir değerin türü kontrol edildiğinde ortaya çıkar: derleme zamanı ve çalışma süresi. Değerlerin türlerini yanlarında taşıdığı dillerde (örn. Java nesneleri), dil gerçekten statik yazmayı tercih etse bile her zaman dinamik yazmaya başvurabilirsiniz. Java'da dinamik olarak yazılmış bir yöntemle bir örnek:

void horribleJava(List untypedList) {
  for (Object o : untypedList)
    ((SpecificType) o).frobnicate();
}

Her öğenin türünün çalışma zamanında nasıl kontrol edildiğine dikkat edin. Eşdeğer statik olarak yazılmış yöntem:

void goodJava(List<SpecificType> typedList) {
  for (SpecificType o : typedList) {
    o.forbnicate();
  }
}

C'de, değerler (ve özellikle işaretçiler) çalışma sırasında türlerini korumaz - her işaretçi bir ile eşdeğerdir void *. Bunun yerine, değişkenlerin ve ifadelerin bir türü vardır. Dinamik yazmayı elde etmek için, tür bilgisini kendiniz taşımanız gerekir (örneğin, bir yapıdaki alan olarak).

Statik ve Dinamik yazım temel olarak türlerin nasıl denetlendiğini ifade eder. Statik yazım, çeşitli değişkenlerin veya ifadelerin türlerinin doğrulanmasının gerçek koda (genellikle derleyici tarafından) göre kontrol edildiği, dinamik tür sisteminde ise bu doğrulamanın yalnızca çalışma zamanında, çalışma ortamı tarafından gerçekleştirildiği anlamına gelir.

Metnin atıfta bulunduğuna inandığım, türler aslında statik olarak kontrol edilse bile, çalışma zamanında, yani dinamik olarak da kontrol edilir. Java Reflection'dan doğru şekilde bahsettiniz; yansıma yalnızca çalışma zamanında gerçekleşir ve Java Runtime Environment (JVM), yansıma kullanıldığında aslında tür denetimi gerçekleştirir, bu da temel olarak dinamik tür denetimi anlamına gelir.

Ekspet yanlış: C ayrıca önemli bir dinamik tip sistemine sahip. Basitçe kontrol etmez ("C kuvvetle yazılır, zayıf kontrol edilir"). Örneğin, bir yapıyı double( reinternpret_cast-stili) olarak ele almak, tanımlanmamış bir davranış sağlar - dinamik bir tür hatası.