編程語(yǔ)言類(lèi)型

　?。ㄒ唬┚幾g型和解釋型

　　計(jì)算機(jī)不能直接理解高級(jí)語(yǔ)言，僅僅能直接理解機(jī)器語(yǔ)言，所以必需要把高級(jí)語(yǔ)言翻譯成機(jī)器語(yǔ)言，計(jì)算機(jī)才干運(yùn)行高級(jí)語(yǔ)言編寫(xiě)的程序。翻譯的方式有兩種，一個(gè)是編譯，一個(gè)是解釋。

　　編譯型語(yǔ)言寫(xiě)的程序執(zhí)行之前，已經(jīng)把程序編譯好了，比方exe文件，以后要執(zhí)行的話就不用又一次翻譯了。直接使用編譯的結(jié)果即可了（exe文件），由于翻譯僅僅做了一次，執(zhí)行時(shí)不須要翻譯，所以編譯型語(yǔ)言的程序執(zhí)行效率高。

　　解釋性語(yǔ)言的程序在執(zhí)行程序的時(shí)候才翻譯，邊執(zhí)行邊翻譯。

　　這樣解釋性語(yǔ)言每執(zhí)行一次就要翻譯一次。效率比較低。

　　用一個(gè)樣例類(lèi)比下，比方一個(gè)人讀一本外語(yǔ)書(shū)。他能夠選擇直接讀別人翻譯好的（編譯型），或者讓別人一句句讀給他聽(tīng)（解釋型）。翻譯好的譯文隨時(shí)能夠再讀，請(qǐng)別人讀每一個(gè)章節(jié)都須要又一次讀一次。

　?。ǘ﹦?dòng)態(tài)語(yǔ)言和靜態(tài)語(yǔ)言

　　動(dòng)態(tài)類(lèi)型語(yǔ)言：在執(zhí)行期間檢查數(shù)據(jù)的類(lèi)型的語(yǔ)言。

　　用這類(lèi)語(yǔ)言編程，不會(huì)給變量指定類(lèi)型，而是在附值時(shí)得到數(shù)據(jù)類(lèi)型。

　　靜態(tài)類(lèi)型語(yǔ)言：相反靜態(tài)類(lèi)型語(yǔ)言是在執(zhí)行前編譯時(shí)檢查類(lèi)型。在寫(xiě)代碼時(shí)。沒(méi)聲明一個(gè)變量必須指定類(lèi)型。

　　動(dòng)態(tài)類(lèi)型語(yǔ)言如JS

　　function add（a，b）{

　　return a+b;

　　}

　　add（1，2）;

　　add（‘1’，2）;

　　靜態(tài)類(lèi)型語(yǔ)言如C、C++、Java、C#等

　　public int add（int a，int b）{

　　return a+b;

　　}

　?。ㄈ?qiáng)類(lèi)型定義語(yǔ)言和弱類(lèi)型定義語(yǔ)言

　　強(qiáng)類(lèi)型定義語(yǔ)言：強(qiáng)制數(shù)據(jù)類(lèi)型定義的語(yǔ)言。

　　也就是說(shuō)，一旦一個(gè)變量被指定了某個(gè)數(shù)據(jù)類(lèi)型，假設(shè)不經(jīng)過(guò)強(qiáng)制轉(zhuǎn)換。那么它就永遠(yuǎn)是這個(gè)數(shù)據(jù)類(lèi)型了。舉個(gè)樣例：假設(shè)你定義了一個(gè)整型變量a，那么程序根本不可能將a當(dāng)作字符串類(lèi)型處理。

　　強(qiáng)類(lèi)型定義語(yǔ)言是類(lèi)型安全的語(yǔ)言，如Java。

　　弱類(lèi)型定義語(yǔ)言：數(shù)據(jù)類(lèi)型能夠被忽略的語(yǔ)言。它與強(qiáng)類(lèi)型定義語(yǔ)言相反， 一個(gè)變量能夠賦不同數(shù)據(jù)類(lèi)型的值。如JS。

　　弱類(lèi)型、強(qiáng)類(lèi)型、動(dòng)態(tài)類(lèi)型、靜態(tài)類(lèi)型語(yǔ)言的區(qū)別

　　類(lèi)型系統(tǒng)的一些概念，眾說(shuō)紛紜，使用上也比較亂。有些東西，甚至不好嚴(yán)格定義。以下算學(xué)術(shù)界的一種相對(duì)“嚴(yán)格”的說(shuō)法。

　　1. 先定義一些基礎(chǔ)概念

　　Program Errors

　　trapped errors。導(dǎo)致程序終止執(zhí)行，如除0，Java中數(shù)組越界訪問(wèn)

　　untrapped errors。 出錯(cuò)后繼續(xù)執(zhí)行，但可能出現(xiàn)任意行為。如C里的緩沖區(qū)溢出、Jump到錯(cuò)誤地址

　　Forbidden Behaviours

　　語(yǔ)言設(shè)計(jì)時(shí)，可以定義一組forbidden behaviors. 它必須包括所有untrapped errors， 但可能包含trapped errors.

　　Well behaved、ill behaved

　　well behaved： 如果程序執(zhí)行不可能出現(xiàn)forbidden behaviors， 則為well behaved。

　　ill behaved： 否則為ill behaved.。。

　　2. 有了上面的概念，再討論強(qiáng)、弱類(lèi)型，靜態(tài)、動(dòng)態(tài)類(lèi)型

　　強(qiáng)、弱類(lèi)型

　　強(qiáng)類(lèi)型strongly typed： 如果一種語(yǔ)言的所有程序都是well behaved——即不可能出現(xiàn)forbidden behaviors，則該語(yǔ)言為strongly typed。

　　弱類(lèi)型weakly typed： 否則為weakly typed。比如C語(yǔ)言的緩沖區(qū)溢出，屬于trapped errors，即屬于forbidden behaviors.。故C是弱類(lèi)型

　　前面的人也說(shuō)了，弱類(lèi)型語(yǔ)言，類(lèi)型檢查更不嚴(yán)格，如偏向于容忍隱式類(lèi)型轉(zhuǎn)換。譬如說(shuō)C語(yǔ)言的int可以變成double。 這樣的結(jié)果是：容易產(chǎn)生forbidden behaviours，所以是弱類(lèi)型的

　　動(dòng)態(tài)、靜態(tài)類(lèi)型

　　靜態(tài)類(lèi)型 statically： 如果在編譯時(shí)拒絕ill behaved程序，則是statically typed;

　　動(dòng)態(tài)類(lèi)型dynamiclly： 如果在運(yùn)行時(shí)拒絕ill behaviors， 則是dynamiclly typed。

　　3. 誤區(qū)

　　大家覺(jué)得C語(yǔ)言要寫(xiě)int a， int b之類(lèi)的，Python不用寫(xiě)（可以直接寫(xiě)a， b），所以C是靜態(tài)，Python是動(dòng)態(tài)。這么理解是不夠準(zhǔn)確的。譬如Ocaml是靜態(tài)類(lèi)型的，但是也可以不用明確地寫(xiě)出來(lái)。。

　　Ocaml是靜態(tài)隱式類(lèi)型

　　靜態(tài)類(lèi)型可以分為兩種：

　　如果類(lèi)型是語(yǔ)言語(yǔ)法的一部分，在是explicitly typed顯式類(lèi)型；

　　如果類(lèi)型通過(guò)編譯時(shí)推導(dǎo)，是implicity typed隱式類(lèi)型， 比如ML和Haskell

　　4.下面是些例子

　　無(wú)類(lèi)型： 匯編

　　弱類(lèi)型、靜態(tài)類(lèi)型 ： C/C++

　　弱類(lèi)型、動(dòng)態(tài)類(lèi)型檢查： Perl/PHP

　　強(qiáng)類(lèi)型、靜態(tài)類(lèi)型檢查 ：Java/C#

　　強(qiáng)類(lèi)型、動(dòng)態(tài)類(lèi)型檢查 ：Python， Scheme

　　靜態(tài)顯式類(lèi)型 ：Java/C

　　靜態(tài)隱式類(lèi)型 ：Ocaml， Haskell