Her ikisi de çok, çok çok çok yanlış anlaşıldı ve aynı zamanda tamamen farklı iki şey. bu birbirini dışlayan değil .
Statik türler dilin dilbilgisinin bir kısıtlamasıdır. Statik olarak yazılan diller kesinlikle bağlamsız değildir. Basit gerçek şu ki, tüm verilerini basitçe bit vektörleri olarak ele almayan, bağlamsız gramerlerde bir dili akılcı bir şekilde ifade etmek zorlaşır. Statik tip sistemler, dilin dilbilgisinin bir parçasıdır, basitçe onu bağlamsız bir gramerden daha fazla sınırlar, böylece gramer kontrolleri kaynak üzerinde iki geçişte gerçekleşir. Statik tipler, tip teorisinin matematiksel kavramına karşılık gelir, matematikteki tip teorisi bazı ifadelerin yasallığını kısıtlar. 3 + [4,7]Matematikte söyleyemem , bunun nedeni onun tür teorisinden kaynaklanıyor.
Bu nedenle statik türler teorik bir bakış açısıyla 'hataları önlemenin' bir yolu değildir, dilbilgisinin bir sınırlamasıdır. Gerçekten, +, 3 ve aralıkların olağan ayarlanmış teorik tanımlara sahip olması şartıyla, eğer tip sistemini kaldırırsak, 3 + [4,7]oldukça iyi tanımlanmış bir sonuç kümesi vardır. 'çalışma zamanı türü hataları' teorik olarak mevcut değildir, tür sisteminin pratik kullanımı, insanların hiçbir anlam ifade etmeyeceği işlemleri önlemektir . İşlemler hala sadece elbette bitlerin değiştirilmesi ve manipüle edilmesidir.
Buradaki yakalama, bir tür sistemin bu tür işlemlerin gerçekleşip gerçekleşmeyeceğine karar verememesidir. Olduğu gibi, tüm olası programları bir 'tür hatası' olacak olan ve olmayan programlara bölün. Sadece iki şey yapabilir:
1: bir programda tür hatalarının oluşacağını
kanıtlayın 2: bir programda oluşmayacaklarını kanıtlayın
Bu kendimle çelişiyormuşum gibi görünebilir. Ama bu kuralsız 'gibi bir program reddeder, ya da 'türü hatası' o takdirde deyimiyle ne C veya Java tipi denetleyicisi yapmasıdır edemez , 2 de başarılı Onlar meydana gidiş değildir ispat edemez bu gerçekleşmeyecekleri anlamına gelmez, sadece kanıtlayamayacağı anlamına gelir. Tür hatası olmayan bir programın derleyici tarafından kanıtlanamaması nedeniyle reddedilmesi çok iyi olabilir. Basit bir örnekif(1) a = 3; else a = "string";, elbette her zaman doğru olduğundan, else-branch hiçbir zaman programda yürütülmez ve hiçbir tür hata oluşmaz. Ancak bu davaları genel olarak kanıtlayamaz, bu yüzden reddedilir. Bu, statik olarak yazılmış birçok dilin en büyük zayıflığıdır, sizi kendinize karşı korurken, ihtiyacınız olmadığı durumlarda da mutlaka korunursunuz.
Ancak, popüler inanışın aksine, ilke 1'de çalışan statik olarak yazılmış diller de vardır. Sadece bir tür hataya neden olacağını kanıtlayabilecekleri tüm programları reddederler ve yapamayacakları tüm programları geçerler. Bu nedenle, tip hataları olan programlara izin vermeleri mümkündür, bunun iyi bir örneği Yazılı Raket, dinamik ve statik yazım arasında melezdir. Ve bazıları bu sistemde her iki dünyanın da en iyisini elde ettiğinizi iddia ediyor.
Statik yazmanın bir diğer avantajı, türlerin derleme zamanında bilinmesidir ve bu nedenle derleyici bunu kullanabilir. Java'da biz yaparsak "string" + "string"veya sonunda metindeki 3 + 3her iki +belirteç tamamen farklı bir işlemi ve veriyi temsil ediyorsa , derleyici yalnızca türlerden hangisini seçeceğini bilir.
Şimdi burada çok tartışmalı bir açıklama yapacağım ama bana katlanacağım: 'dinamik yazım' mevcut değil .
Çok tartışmalı Sesler, ama onun gerçek, dinamik yazılan diller teorik bir perspektiften olan türsüz . Bunlar sadece tek bir türle statik olarak yazılmış dillerdir. Ya da basitçe söylemek gerekirse, pratikte bağlamdan bağımsız bir dilbilgisi tarafından gerçekten dilbilgisel olarak üretilen dillerdir.
Neden türleri yok? Her işlem her edimsel olarak tanımlandığından ve izin verildiğinden, 'çalışma zamanı türü hatası' tam olarak nedir? Teorik bir örnekten tamamen yan etki . Yapıyor ise print("string")bir dize yazdırır hangi bir işlemdir, o zaman olduğu length(3)eski yazma yan etkisi yoktur, stringstandart çıkışa sadece ikincisi için error: function 'length' expects array as argument.bu,. Teorik bir bakış açısıyla, dinamik olarak yazılmış bir dil diye bir şey yoktur. Onlar türden değil
Tamam, 'dinamik olarak yazılan' dilin bariz avantajı ifade gücüdür, bir tür sistemi ifade gücünün sınırlandırılmasından başka bir şey değildir. Ve genel olarak, bir tür sistemi olan diller, tür sistemi göz ardı edilirse, izin verilmeyen tüm işlemler için tanımlanmış bir sonuç doğuracaktır, sonuçlar insanlara mantıklı gelmeyecektir. Birçok dil, bir tür sistemi uyguladıktan sonra Turing tamlığını kaybeder.
Bariz dezavantaj, insanlar için saçma olan sonuçlar doğuracak operasyonların gerçekleşebilmesidir. Buna karşı korunmak için, dinamik olarak yazılan diller genellikle bu işlemleri saçma bir sonuç üretmek yerine, bir hata yazma ve muhtemelen programı tamamen durdurma yan etkisine sahip olacak şekilde yeniden tanımlarlar. Bu bir 'hata' değildir, aslında, dil spesifikasyonu genellikle bunu ima eder, bu dilin teorik bir perspektiften bir dize basmak kadar çok davranışıdır. Böylece tip sistemleri programcıyı kodun akışı hakkında akıl yürütmeye zorlar ve bunun gerçekleşmemesini sağlar. Ya gerçekten, neden bu yüzden o yaparBu, hata ayıklama için bazı noktalarda da kullanışlı olabilir, bu da bunun bir 'hata' değil, dilin iyi tanımlanmış bir özelliği olduğunu gösterir. Aslında, çoğu dilin sahip olduğu 'dinamik yazmanın' tek kalıntısı sıfıra bölünmeye karşı koruma sağlamaktır. Dinamik yazım budur, tür yoktur, sıfırın diğer tüm sayılardan farklı bir tür olduğundan daha fazla tür yoktur. İnsanların 'tür' olarak adlandırdığı şey, bir dizinin uzunluğu veya bir dizenin ilk karakteri gibi bir datumun başka bir özelliğidir. Ve dinamik olarak yazılan birçok dil de böyle şeyler yazmanıza izin verir "error: the first character of this string should be a 'z'".
Başka bir şey, dinamik olarak yazılan dillerin çalışma zamanında kullanılabilir ve genellikle bunu kontrol edip onunla başa çıkıp ondan karar verebilmesidir. Tabii ki, teoride, bir dizinin ilk karakterine erişmek ve ne olduğunu görmekten farklı değildir. Aslında, kendi dinamik C'nizi yapabilirsiniz, sadece uzun uzun int gibi sadece bir tür kullanın ve 'tipinizi' kaydetmek ve şamandıra veya tamsayı ekleme işlemini yapmak için işlevlerini buna göre yazmak için ilk 8 bitini kullanın. Bir türü olan statik olarak yazılmış bir diliniz veya dinamik bir diliniz var.
Pratikte tüm bunlar, statik olarak yazılan diller genellikle ticari yazılım yazma bağlamında kullanılırken, dinamik olarak yazılan diller bazı sorunları çözme ve bazı görevleri otomatikleştirme bağlamında kullanılır. Statik olarak yazılan dillerde kod yazmak sadece uzun sürer ve zahmetlidir, çünkü iyi olacağını bildiğiniz şeyleri yapamazsınız, ancak tür sistemi hala yapmadığınız hatalar için kendinize karşı korur. Birçok kodlayıcı, bunu kendi sistemlerinde yaptıklarından bile fark etmezler, ancak statik dillerde kod yazarken, genellikle yazı sisteminin yanlış gidemeyen şeyleri yapmanıza izin vermeyeceği gerçeğini araştırırsınız, çünkü yanlış gitmeyeceğini ispatlayamaz.
Belirttiğim gibi, 'statik olarak yazılmış' genel olarak vaka 2, masum olduğu kanıtlanana kadar suçlu anlamına gelir. Ancak, tür sistemlerini tür teorisinden türetmeyen bazı diller, kural 1'i kullanır: Masum, kanıtlanmış suçluya kadar, ideal melez olabilir. Yani, belki Typed Racket tam size göre.
Ayrıca, daha saçma ve aşırı bir örnek için, şu anda 'türlerin' gerçekten bir dizinin ilk karakteri olduğu bir dil uyguluyorum, bunlar veri, 'tip', 'tip', kendisi olan veriler bir tür ve veri, bir tür olarak kendini gösteren tek veri. Türler statik olarak sınırlı değildir veya sınırlı değildir, ancak çalışma zamanı bilgilerine dayalı olarak yeni türler oluşturulabilir.