今天碰巧討論起來(lái)編程語(yǔ)言。好像最近很流行的一個(gè)話(huà)題，包括lisp和haskell的再一次又一次悄然流行。
 

PS：這些是我很一些同學(xué)一次討論的總結(jié)，可能有我沒(méi)有說(shuō)清楚的地方，也有可能是我沒(méi)有理解對(duì)的地方，如果有哪里寫(xiě)的不對(duì)，歡迎大家指正。 

我的風(fēng)格：

首先我不會(huì)haskell和lisp，請(qǐng)大家聯(lián)想一下一個(gè)不用emacs的人。

選擇策略：

我所長(zhǎng)久使用的，或者說(shuō)是擅長(zhǎng)的是匯編，包括幾種結(jié)構(gòu)的匯編。當(dāng)然后來(lái)出于敏捷的考慮我會(huì)用C，如果充滿(mǎn)了網(wǎng)絡(luò)應(yīng)用，正則表達(dá)，文件操作這種功能性比較強(qiáng)而且要頻繁的和操作系統(tǒng)打交道而不是cpu的時(shí)候，我會(huì)用python，如果是以網(wǎng)絡(luò)操作為主的話(huà)那么用perl。

風(fēng)格源自匯編：

但是我無(wú)論用哪種編程語(yǔ)言你可以看到一種非常統(tǒng)一風(fēng)格就是來(lái)自于匯編的風(fēng)格，非常強(qiáng)的指令邏輯順序風(fēng)格。最簡(jiǎn)單的一個(gè)例子就是goto的使用，因?yàn)檫@個(gè)和匯編中的jmp系列命令是一致的。我不會(huì)用非常C的風(fēng)格，比如宏定義，switch 以及while，甚至我的C中嵌入?yún)R編都是很經(jīng)常的事情。我寫(xiě)c程序唯一看起來(lái)像C的地方，就是指針和for，滿(mǎn)篇的指針運(yùn)算因?yàn)檫@個(gè)和匯編中的地址操作是一致的。我會(huì)用指針來(lái)完成switch while 等操作，我所使用的C無(wú)非是[for + 指針 + goto + if +中斷]沒(méi)了。還有一個(gè)特別明顯的特征就是我特別愛(ài)用中斷，這個(gè)是國(guó)內(nèi)學(xué)生不太愿意用的東西，其實(shí)特別好用。因?yàn)閰R編和系統(tǒng)之間交互的時(shí)候就是用中斷實(shí)現(xiàn)的。總結(jié)一句話(huà)，我的風(fēng)格是用硬件開(kāi)發(fā)工具寫(xiě)算法。夠奇葩吧。

思維模式：

我能理解的是中斷，地址，以及指令過(guò)程。比如信號(hào)和信號(hào)槽我就理解成為一種軟中斷實(shí)現(xiàn)，類(lèi)似的還有時(shí)刻表cron，這個(gè)是時(shí)鐘中斷的一種派生，指針是地址的一種實(shí)現(xiàn)，重載是函數(shù)指針的一種實(shí)現(xiàn)。我所不能理解的就是迭代，這個(gè)常常使得別人對(duì)我產(chǎn)生誤解，認(rèn)為我擅長(zhǎng)計(jì)算機(jī)工程而不是計(jì)算機(jī)科學(xué)，其實(shí)不然，我是按照計(jì)算數(shù)學(xué)的思路在寫(xiě)程序，而不是按照集合論的想法在寫(xiě)程序，僅此而已。

缺陷：

我寫(xiě)的程序其實(shí)針對(duì)性非常強(qiáng)，即使C以移植性著稱(chēng)，但是這個(gè)是一個(gè)狹義的移植性概念。

在我看來(lái)

編程語(yǔ)言的不同，是編程模型的不同，如果想掌握一門(mén)編程語(yǔ)言，首先要弄清楚編程模型是什么。

比如：

*匯編的編程模型是cpu，

寫(xiě)匯編的時(shí)候經(jīng)常要拿著datasheet，然后查閱時(shí)序圖，時(shí)序圖就是基本的工具，用這些工具構(gòu)建你想要實(shí)現(xiàn)的功能。需要和外部交互的時(shí)候還需要知道io map是怎么樣的，如果有bios這樣管理io的子系統(tǒng)的時(shí)候那么你只要弄清楚bios給你提供的服務(wù)就可以了。匯編和操作系統(tǒng)之間交互是通過(guò)中斷來(lái)實(shí)現(xiàn)的，也就是仿真一種硬件行為，這個(gè)行文叫做軟中斷，然后操作系統(tǒng)會(huì)守護(hù)這些中斷信號(hào)然后作出反映。

*C的編程模型是內(nèi)存，

在用C寫(xiě)成的時(shí)候大部分的時(shí)間是和內(nèi)存打交道，不需要(但是有權(quán)利)管理cpu內(nèi)部的寄存以及其他的一些具體部件，那些都有一個(gè).h文件統(tǒng)一管理和抽象。然后你只要關(guān)心內(nèi)存就可以了。和外部通信的時(shí)候也是將那些功能映射到內(nèi)存地址了。C和操作系統(tǒng)之間的橋梁只有標(biāo)準(zhǔn)IO就是stdin stdout 和stderr，由于一切文件化的抽象，能用的指令也只有read 和write。當(dāng)然你還要用ioctl先設(shè)置一個(gè)合適的工作狀態(tài)。當(dāng)你寫(xiě)的本身就是內(nèi)核的時(shí)候，那些變量都可以直接調(diào)用的，比如全局時(shí)間。

*python的編程模型是應(yīng)用，

其實(shí)我不太會(huì)用python，我只是說(shuō)說(shuō)我是這么用的，python可能是各種功能實(shí)現(xiàn)的一種抽象，如果有那么一個(gè)應(yīng)用無(wú)論是什么語(yǔ)言編寫(xiě)，無(wú)論是如何執(zhí)行，那么他一定可以有(或是已經(jīng)有)python接口了，你調(diào)用這種接口，然后建立一個(gè)實(shí)體，這個(gè)實(shí)體就是一個(gè)應(yīng)用的抽象。比如我可以創(chuàng)建一個(gè)webkit的實(shí)體，然后這個(gè)實(shí)體就可以有url這個(gè)變量，填好后，就可以用open()這個(gè)函數(shù)，然后從context里面就能得到瀏覽結(jié)果了。python和操作系統(tǒng)之間的交互很靈活，可以通過(guò)os 這個(gè)抽象，或是exec等等。當(dāng)然管道也是一個(gè)利器，可以通過(guò)popen取出程序執(zhí)行過(guò)程中的標(biāo)準(zhǔn)io里面的內(nèi)容。

*perl還不是很會(huì)，其實(shí)我一直拿perl當(dāng)python的網(wǎng)絡(luò)加+正則表達(dá)加強(qiáng)版，等以后我有時(shí)間了，再學(xué)習(xí)一下，再加上這一段。

那么，我寫(xiě)程序的風(fēng)格貼近硬件，但是其實(shí)不怎么本質(zhì)。需要大量的計(jì)算數(shù)學(xué)，而不是數(shù)學(xué)。還有另外一類(lèi)更本質(zhì)的編程，更數(shù)學(xué)的編程語(yǔ)言，是基于計(jì)算機(jī)理論的，也就是圖靈理論。這些編程語(yǔ)言是面向計(jì)算過(guò)程的包括：遞歸，λ演算和圖靈機(jī)，這三個(gè)是等價(jià)的，所使用的是邏輯數(shù)學(xué)+集合論，所討論的問(wèn)題是可計(jì)算問(wèn)題。這些程序的移植性非常強(qiáng)，即使沒(méi)有操作系統(tǒng)。他們不需要操作系統(tǒng)，編譯器或者解釋器完成的任務(wù)就是將各種不同的圖靈機(jī)物理實(shí)現(xiàn)轉(zhuǎn)化成基本操作符，這里已經(jīng)不要求物理實(shí)現(xiàn)是計(jì)算機(jī)了，物理實(shí)現(xiàn)有可能是各種形態(tài)的。他們描述的是計(jì)算的本質(zhì)。

*LISP 、Haskell 編程模型是命題

那么，所編寫(xiě)的程序其實(shí)就是證明過(guò)程，純函數(shù)編程語(yǔ)言，基本操作就是λ演算，每一個(gè)計(jì)算原子就是一個(gè)λ算式，沒(méi)有語(yǔ)句?；揪幊探Y(jié)構(gòu)是遞歸。LISP抽象了7種基本操作符也就是7條公理。遞歸的用這些基本公理，證明命題是可以計(jì)算的。指導(dǎo)思想是邏輯數(shù)學(xué)和集合論。沒(méi)有side effect，也就是說(shuō)不能修改函數(shù)以外的變量，也不能修改代入的變量，純迭代，只有返回值，由于嚴(yán)格的迭代要求所以可以在代碼運(yùn)行的過(guò)程中，進(jìn)行修改代碼。和系統(tǒng)交互使用的是actions這個(gè)atom，由于要保持計(jì)算的過(guò)程的單純性，盡量將IO降到最低限度。C python都有嵌入λ算子功能是為了實(shí)現(xiàn)異步回調(diào)算法。