Bazı insanlar bir JavaScript çağrı öğrendim ki, "dinamik, zayıf yazılan" dil, ancak bazı bile diyelim ""? yazılmamış Gerçekten mi?

JavaScriptyazılmamış:

Hatta Brendan Üzerinde öyle diyor. Twitter, bu soruya bağlantılı bir konu diye cevap verdi

... academic types use "untyped" to mean "no static types"...

Yani sorunun birkaç farklı tanımları varyazılmamış.

Bir tanımı da yukarıdaki cevapları bir hakkında konuştuk olmuştur - çalışma zamanı değerleri etiketi ve sadece bit olarak her işler değeri yok. JavaScriptyoketiket değerleri ve bu etiketlere göre farklı davranışları vardır. JavaScript açıkçası bu kategoriye uymuyor.

Diğer tanımındanProgramlama Dili Teorisi(Brendan dir akademik şeyi). Bu etki,yazılmamışsadece anlamına gelir. everything belongs to a single type.

Neden? Bir dil tek tip align kanıtlar varken bir program oluşturur (çünkü bir.k.bir. the Curry-Howard correspondence; türleri teoremleri, programlar deliller). Bu yazılmamış bir dilde anlamı:

1. Bir programdırher zamanoluşturulan
2. Bu nedenle türleriher zamanmaç
3. Bu nedenle tek olmalıbiryazın

Yazılı bir dil aksine:

1. Bir programolmayabiliroluşturulacak
2. Tür çünküolmayabilirmaç
3. Bir programı içerebilirbirden fazlatürleri

Yani, PLT, sen gityazılmamışsadece anlamına gelirdinamik olarak değişebilirveyazdınızsadece anlamına gelirstatik olarak yazılmış. JavaScript kesinlikle bu kategoride yazılmamış.

Ayrıca Bkz:

• What to know before debating type systems
• Does “untyped” also mean “dynamically typed” in the academic CS world?