Wikipedia alıntı için:

Yaygın olarak kullanılan iki dil örtülü birçok türde destek dönüşüm C ve C ve o bunlar bazen iddia etti zayıf dilde yazılmış. Ancak, başkaları da bu dilleri savunuyorlar nasıl kısıtlamalar yeterince yer farklı türde işlenen olabilir iki ele alınması gereken bir karışık, güçlü yazılmış dil olarak.

Daha kesin bir cevap var mı?

"Kesinlikle yazılmış" ve "zayıf yazılı" hiçbir yaygın mutabık olduğunu terimlerdir teknik anlamı. Bu iyi tanımlanmış bir anlamı var mı terimlerdir

• Dinamik olarak değişebilirtürleri çalışma zamanında değerlere bağlı ve farklı değerler karıştırmak için bir girişim bir neden olabilir anlamına gelir "çalışma zamanı tür hatası". Eğer Düzeni bir gerçek ( 1 #t) yazarak eklemek için çalışırsanız örneğin, bu hataya neden olur. Eğer soruna neden olan kod çalıştırmak için çalışırsanız, sadece hata karşılaşabilirsiniz.

• Statik olarak yazılmıştürleri zaman, bir sabit olmayan bir programı derlemek kontrol anlamına gelir derleyici tarafından reddedildi. Eğer ML bir gerçek 1 true, yazarak eklemek için çalışırsanız örneğin, program (muhtemelen gizli) bir hata iletisi ile reddedilecektir. Her zaman eğer kodu asla idam olabileceğini bile hata.

Farklı insanlar, çalıştırma hataları onlar hakkında endişelenmenize nasıl esneklik ve ne kadar değer verdiklerini kısmen göre farklı sistemleri tercih ederim.

"Kesinlikle yazılmış" gevşek anlamında kullanılan "statik olarak yazılan" ve "zayıf yazılan" yanlış anlamında kullanılan "dinamik yazılmış". bazen Dönem için iyi bir kullan "kesinlikle yazılmış" yani "geçici bir çözüm bulmak ya da tür sistemi yıkmak olamaz", "zayıf yazılı" "türü sistemindeki boşluklar var" demektir. Ne garip ki hayvan, statik tip sistemleri ile çoğu dil dinamik tip sistemler ile birçok dilde hiçbir boşluklar var ise boşlukları var.

Bu şartların hiçbiri örtülü dönüşüm bir dilde mevcut sayısı ile herhangi bir şekilde bağlı.

Eğer tam olarak programlama dili hakkında konuşmak istiyorsanız, iyi şartlarda önlemek için "kesinlikle yazılmış" ve "zayıf yazılı". C statik olarak yazılan ama boşlukları çok olan bir dil olduğunu söyleyebilirim. Bir kaçamak serbestçe başka bir işaretçi türü için herhangi bir işaretçi türü çevirebilirsiniz. Ayrıca iki üye, söz konusu türlerin her biri için bir tane, bir C Birliği ilan ederek seçtiğiniz herhangi iki tür arasında bir kaçamak oluşturabilirsiniz.

Statik ve dinamik yazarak hakkında daha fazla why-interpreted-langs-are-mostly-ducktyped-while-compiled-have-strong-typing yazdım.