編程語言類型

　　（一）編譯型和解釋型

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

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

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

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

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

　　（二）動態(tài)語言和靜態(tài)語言

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

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

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

　　動態(tài)類型語言如JS

　　function add（a，b）{

　　return a+b;

　　}

　　add（1，2）;

　　add（‘1’，2）;

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

　　public int add（int a，int b）{

　　return a+b;

　　}

　　（三）強(qiáng)類型定義語言和弱類型定義語言

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

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

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

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

　　弱類型、強(qiáng)類型、動態(tài)類型、靜態(tài)類型語言的區(qū)別

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

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

　　Program Errors

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

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

　　Forbidden Behaviours

　　語言設(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)、弱類型，靜態(tài)、動態(tài)類型

　　強(qiáng)、弱類型

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

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

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

　　動態(tài)、靜態(tài)類型

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

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

　　3. 誤區(qū)

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

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

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

　　如果類型是語言語法的一部分，在是explicitly typed顯式類型；

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

　　4.下面是些例子

　　無類型： 匯編

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

　　弱類型、動態(tài)類型檢查： Perl/PHP

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

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

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

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