"JavaScript yazılmamış." bildiren bir slayt güverte okuyorum Bu düşündüğüm şeyi denemek ve daha fazla şey öğrenmek için araştırmaya başladım doğru çelişki.

Is JavaScript an untyped language? her cevap için bir JavaScript olduğunu söylüyordeğilinsanlar böyle değildi yani.. tanıdık mutluyum statik, dinamik, güçlü ve zayıf yazarak çeşitli formları yazılmamış ve sunulan örnekler.

Brendan Üzerinde, JavaScript yaratıcısı sordum, ve dedi ki:

akademik türleri "" demek için "Hayır statik türleri". yazılmamış kullanın bu değerler türleri (duh!) görecek kadar zeki. bağlam önemlidir.

Akademik odaklı bilgisayar bilimleri Millet kullanırım "" eşanlamlı olarak "dinamik olarak yazılan" (ve bu geçerli mi?) yazılmamış yoksa ben bir şey eksik, bu derin? Bağlam önemlidir ama açıklamalar herhangi bir atıf, benim şu anda "gitmek" kitapları bu konuda top oynamıyor. bu harika olurdu Brendan katılıyorum

Benim anlayış geliştirmek, böylece ve hatta Wikipedia bu alternatif kullanım için (ben bulamadım, neyse) ifade etmez, çünkü bu işi bitireyim istiyorum. Eğer yanılıyorsam da bu terimi kullanırken ya da gelecekte süreli kullanımı sorgulama ile uğraşmak istemiyorum :-)

(Ayrıca bir üst Smalltalker Smalltalk "de, yani" tek "olan beni bu yolculuğa yola! değil bir" yazılmamış olduğunu söylemek gördüm :-))

Evet, bu akademik literatürde standart bir uygulamadır. Onu anlamaya, ona yardımcı olur musun bir düşünce ile bu "tür" icat edilmiş ve 1930'lar, bağlamında lambda calculus (aslında, daha önce, bağlamında küme teorisi). O zamandan beri, hesaplama mantığı koca bir dal olarak bilinen ortaya çıkmıştır "yazın kuramı". Programlama dili teorisi bu temeller üzerine kuruludur. Ve tüm bu matematiksel bağlamlarda, "türü", köklü belirli bir anlamı vardır.

Terminoloji "dinamik yazarak" çok zaman sonra icat edildi ve kelimenin ortak matematiksel kullanın karşısında tam bir çelişki "yazın".

Örneğin, burada "tür sistemi" Benjamin Pierce standart metin kitabında kullanır . tanımı ^em>Types and Programming Languages:

Yazın bir sistem yokluğunu ispat için uysal sözdizimsel bir yöntemdir göre sınıflandırma ifadeleri tarafından belirli bir program davranışlar onlar değerlerini hesaplamak çeşitleri.

Ayrıca açıklamalar:

Kelime “bazen açıkça eklenir ... konuştuğumuz” statik “statik olarak yazılan” örneğin--ayırt programlama dili, derleme zamanı tür analizler buradan düşünüyoruz dinamik veya gizli yazarak Düzeni gibi dillerde bulunan (Sussman ve Steele, 1975; Kelsey, Clinger, ve, 1996 Dybvig, 1998; Rees), yazın etiketleri farklı türleri ayırt etmek için kullanılır çalıştırma öbek yapıları. Şartlar “olarak adlandırılır” tartışmalı olan gibi ve muhtemelen “dinamik kontrol”olarak değiştirilmelidir yanılgıların ama kullanımı standarttır.

Çoğu insan alanında çalışan, bu görüşü paylaşmak gibi görünüyor.

Bu unutmayındeğilo "" ve "dinamik yazılmış" eş anlamlı. yazılmamış yani İkinci bir (teknik olarak) yanıltıcı bir isim değil, eski Özel durumlarda.

PS: Ve FWIW, tip sistemlerde akademik bir araştırmacı, hem de JavaScript akademik olmayan bir uygulayıcısı oldum, schisma ile yaşamak zorundayım. :)