弱類型或強類型語言

Question

如果程序沒有完全靜態編譯則是 弱類型或強類型

Answer 1

蘋果和桔子。彙編語言程序是靜態編譯的，但您可以將任何變量用作字符，作爲整數，作爲float的一部分或作爲JPEG圖像的一部分。鍵入與編譯或解釋的任何概念是分開的。

---

現在我想到了，我不能想到一種解釋性的語言，即 不是強類型，但這並不意味着有任何連接。

---

想到了一個。 Brainf * CK。它的解釋並沒有任何類型的概念。

Answer 2

如果語言包含對類型約束違規的編譯時檢查，則強類型化。如果檢查延遲到運行時間，則輸入較弱。

看一看這個鏈接：

• Strongly Typed ?

而且，你不想錯過由比爾討論與弗蘭克·索莫斯

• Strong versus Weak Typing

一些更好的閱讀。

• What arguments are there in favor of weak typing?
• Difference between statically typed language and strongly typed language ?

Answer 3

不要用靜態和動態類型之間的區別混淆強類型之間的區別。這些都不是動態編譯，動態鏈接，動態加載或動態分派。

像往常一樣，Wikipedia offers a pretty good starting point.

Answer 4

「A語言是強，如果它包含編譯時檢查類型約束違規類型的。如果檢查被推遲到運行時，它是弱類型的。」

不完全。這裏描述的內容與動態和靜態類型之間的區別更相關。

如果某種語言阻止對具有錯誤類型的參數進行操作的成功，則該語言是強類型的。現在這可能發生在編譯類型或運行時。