1) 靜態(tài)類型語言
靜態(tài)類型指的是在創(chuàng)建份數(shù)據(變量、參數(shù)、返回值等)時需要顯式指明該數(shù)據的類型。通常情況下,這些數(shù)據的類型旦被定義,在程序的整個生命周期也不再改變。
2) 動態(tài)類型語言
動態(tài)類型的編程語言在創(chuàng)建數(shù)據時往往不需要指明該數(shù)據的類型,而且數(shù)據的類型也會隨著值的改變而改變,給數(shù)據賦予不同的值,數(shù)據將得到不同的類型。
對于靜態(tài)類型語言,我們需要預明確地告訴編譯器要處理的數(shù)據的類型,這樣在程序部署之前就能發(fā)現(xiàn)代碼中的錯誤或者疏忽。比如我們將個變量定義為整數(shù),將另個變量定義為字符串,如果我們嘗試將兩個變量相加,那么編譯器在編譯期間可能就會捕獲這種語法錯誤,并且不會讓我們完成程序的構建。


3)強類型語言
強類型語言的典型特征,它們不會處理與類型定義明顯矛盾的運算,而是把它標記為個問題,并作為錯誤拋出。通常人們認為 C/C++、Java、C#、Python、Go 都是強類型語言,它們都不允許上述代碼中的行為。
4)弱類型語言
和強類型語言不樣,當我們執(zhí)行些與類型定義不匹配的運算時,弱類型語言嘗試提供幫助,它可能會臨時轉換值的類型,讓它當前運算。
正如前面提到的,人們經常混淆靜態(tài)/動態(tài)類型和強/弱類型的概念,傾向于將靜態(tài)類型等同于強類型,將動態(tài)類型等同于弱類型,實際上這是不對的。
強/弱類型指的是編程語言如何處理運算過程中的值。當值的類型不運算規(guī)則時,編程語言究竟是做出些猜測,臨時轉換值的類型以幫助人們解決問題,還是停止運行,提醒人們不應該這樣做?