【文章內(nèi)容簡(jiǎn)介】 的讓我發(fā)現(xiàn)了自己之前做的 Python 靜態(tài)分析里面存在的一些問(wèn)題。 Coverity 的產(chǎn)品在大規(guī)模的代碼上面的成功，也讓我意識(shí)到了自己在 Python 分析器里的一些突發(fā)奇想的設(shè)計(jì)的正確性和價(jià)值。如果我現(xiàn)在做一個(gè)新的 Python 分析器，它將比原來(lái)的精確和高效 (也可以推廣到其它語(yǔ)言比如 JavaScript)。我也清楚的看到， Coverity 自發(fā)研制的一些 “ 不大嚴(yán)謹(jǐn) ” 的做法，其實(shí)比程序語(yǔ)言領(lǐng)域里面一些看似高深的 “ 邏輯 ” 還要 “ 正確 ” 。這些微妙的 “ 提示信息 ” ，讓我把多個(gè)領(lǐng)域的知識(shí)串通了起來(lái)。所以我覺(jué)得跟這公司還有點(diǎn)臭味相投，加入 Coverity 也是不枉此行的。 然而我也發(fā)現(xiàn)， Coverity 缺少我擁有的程序語(yǔ)言理論知識(shí)。絕大部分的 Coverity 工程師沒(méi)有系統(tǒng)的學(xué)習(xí)過(guò) lambda calculus 和函數(shù)式編程。在我的 Python 分析器中，其實(shí)包含了 Coverity 還沒(méi)有的技術(shù)。 Python 的靜態(tài)分析本來(lái)就比 C++ 和 Java 之類(lèi)的難，然而我的實(shí)現(xiàn)卻異常的簡(jiǎn)單。這些微妙的技術(shù)，貌似很多人都可以說(shuō)他 “ 會(huì)做 ” ，但是他們卻很難把它做對(duì)。這就像 “CPS 轉(zhuǎn)換 ” 一樣，很多人都說(shuō)他會(huì)做，可是真正做對(duì)的只有極少數(shù)人 (我是其中之一 )。這些技術(shù)源自于我對(duì) 程序語(yǔ)言本質(zhì)的理解，源自于 Dan Friedman, Kent Dybvig 和 Amr Sabry 等老師的教誨，也源自于我自己辛勤的實(shí)驗(yàn)，實(shí)驗(yàn)，再實(shí)驗(yàn) ?? 在我簡(jiǎn)短而優(yōu)雅的代碼中，包含了許多人需要花費(fèi)好幾倍的代碼長(zhǎng)度才能達(dá)到的目標(biāo)。所以雖然 Coverity 的工程師們技術(shù)實(shí)力很強(qiáng)，但在代碼的簡(jiǎn)單程度和對(duì)程序語(yǔ)言語(yǔ)義的理解上，真的很難達(dá)到我的程度。 這就是為什么我經(jīng)常能夠一眼就看出 Coverity 產(chǎn)品里存在的問(wèn)題，并且很快的修正錯(cuò)誤。舉一個(gè)簡(jiǎn)單的例子，有一天我修改了一行代碼，使得產(chǎn)品在某些 benchmark 上的內(nèi)存使用量減少了一半。我為什么可以做到這一點(diǎn)呢 ?因?yàn)樵谖业? Python 分析器里，這個(gè)問(wèn)題是從一開(kāi)頭就不存在的。它源自于一種幼稚的解釋器寫(xiě)法，有點(diǎn)像 GoF 的《 Design Patterns》里的那種。 Coverity 的代碼里面有好些類(lèi)似的問(wèn)題，都是我自己根本不可能犯的錯(cuò)誤，我都沒(méi)有機(jī)會(huì)給他們改進(jìn)。我不是想貶低同事們的水平，他們都是 Stanford, Berkeley 等學(xué)校畢業(yè)的高手，可是我也很清楚自己的技術(shù)地位。 所以我就經(jīng)常發(fā)現(xiàn)這樣的麻煩事：我順手改掉了一個(gè)自認(rèn)為很顯 然的問(wèn)題，或者一個(gè)我根本不會(huì)犯的錯(cuò)誤，然后就發(fā)現(xiàn)有大批的測(cè)試需要被修改，我也會(huì)被要求寫(xiě)出 “regression test” ，用以防止同樣的錯(cuò)誤再次發(fā)生。某些同事對(duì)于測(cè)試的戰(zhàn)戰(zhàn)兢兢的態(tài)度，其實(shí)跟我當(dāng)年在 Google 實(shí)習(xí)的時(shí)候沒(méi)有什么兩樣?？吹竭@里的問(wèn)題了嗎 ?這些我 “ 根本 ” 不會(huì)犯的錯(cuò)誤，幾分鐘時(shí)間順手就改掉了，但是我卻要花成天的工夫去修改和創(chuàng)建測(cè)試，防止它 “ 再次 ” 發(fā)生。我不得不說(shuō)，在這些測(cè)試上所花費(fèi)的工夫，占用了比我修改代碼多好幾倍，甚至幾十倍的工夫 ! 想想這六個(gè)月以來(lái)我干了些什么，再比較一下在 Google 實(shí)習(xí)的那六個(gè)月獨(dú)自從頭做出來(lái)的東西，我發(fā)現(xiàn)自己簡(jiǎn)直什么也沒(méi)有干。這就是我不喜歡 “ 測(cè)試驅(qū)動(dòng)開(kāi)發(fā) ”(TDD) 的原因。在 Google 的六個(gè)月里，我無(wú)視同事對(duì)于測(cè)試的要求，從無(wú)到有的做出了如此精密的系統(tǒng)，一個(gè)測(cè)試都沒(méi)有寫(xiě)照樣做得好，為什么呢 ?因?yàn)槲业拇a非常的簡(jiǎn)單清晰，我隨時(shí)都可以把它們完整的呈現(xiàn)在頭腦里面，從而讓 “ 心靈之眼 ” 可以看到可能出現(xiàn)的錯(cuò)誤。也許這就是所謂的 “ 邏輯思維 ” 。 對(duì)測(cè)試過(guò)分依賴的人，往往不具有這樣的思維能力。他們不能夠看到代碼最簡(jiǎn)單的本質(zhì)，所以需要做很多試探，以求達(dá)到 “ 近似解 ” 。為 了不至于偏差很多，就寫(xiě)很多測(cè)試，用以捕捉和防止每一次的錯(cuò)誤。這就像一個(gè)初學(xué)畫(huà)畫(huà)的人，一點(diǎn)一點(diǎn)的描，用橡皮反復(fù)的擦，可總也抓不住事物的精髓。這些人對(duì) “ 錯(cuò)誤 ” 的記憶能力特別強(qiáng)，往往深入的追究一塊代碼是 “ 如何 ” 錯(cuò)的， “ 為什么 ” 是錯(cuò)的，下次如何才能不犯同樣的錯(cuò)誤。 然而我卻沒(méi)法記住之前的代碼是如何錯(cuò)的，我也不想知道為什么它是錯(cuò)的，我只記得 “ 正確 ” 的代碼是什么樣子。錯(cuò)誤的方式有千萬(wàn)種，可是正確的卻往往只有一個(gè)。把腦力浪費(fèi)在記憶錯(cuò)誤的東西，這就是為什么很多人不能寫(xiě)出真正優(yōu)美而正確的代碼。我受到的訓(xùn)練讓我可以直接得到 正確的結(jié)果，所以測(cè)試對(duì)于我來(lái)說(shuō)分量沒(méi)有那么重。當(dāng)我的代碼需要大量的測(cè)試才能確保正確的時(shí)候，那就是它該被推翻重寫(xiě)的時(shí)候。所以我的代碼往往沒(méi)有任何補(bǔ)丁和變通，可以說(shuō)是無(wú)懈可擊。這就像是一個(gè)真正會(huì)畫(huà)畫(huà)的人，他閉目沉思，然后一氣呵成。當(dāng)然，優(yōu)美的代碼并不是一蹴而就的，有的代碼被我推翻重來(lái)幾十次才最后成功，但我最后的代碼不留下絲毫錯(cuò)誤的痕跡。所以我覺(jué)得，看一個(gè)程序員的水平，不要看他留下來(lái)多少行代碼，而要看他刪掉了多少行。 我覺(jué)得做 Coverity 的工程師真累。這種累不止在于以上的技術(shù)層面的繁瑣，而且在于管理層 對(duì)工程師的缺乏尊重以及不必要的壓力。這讓我在受到了足夠的 “ 啟發(fā) ” 之后，開(kāi)始懷疑是否還有繼續(xù)為它工作的價(jià)值。對(duì)于公司管理，以及對(duì)于 IT 行業(yè)總體的看法，我還是以后再講吧。 篇二： IT 工作心得感想范文 看到了很多同學(xué)問(wèn)到各銀行的待遇以及 IT 部門(mén)的發(fā)展之類(lèi)的話題，想到了自己銀行的情況。 加班非常多。機(jī)房是 24 小時(shí)開(kāi)放的，每天都有人值夜班。我所在的地區(qū)我們分行只有 800 人不到， IT 部門(mén)就只有 7 個(gè)人。他們每天除了正常的工作之外還要應(yīng)對(duì)各種培訓(xùn)、學(xué)習(xí)。銀行因?yàn)榘滋煲獙?duì)外營(yíng)業(yè)，所以每次培訓(xùn)之類(lèi)都是在 晚上和周末，而且不是 800 人一起培訓(xùn)，而是今天這個(gè)培訓(xùn)，明天那個(gè)培訓(xùn)。這個(gè)工作量是非常大的。而且銀行加班基本是沒(méi)有加班工資的。因?yàn)閲?guó)家不允許這種量的加班。 薪水問(wèn)題。大家都說(shuō)銀行薪水好。那是因?yàn)榇蠹铱吹降闹皇切剿玫牟块T(mén)。我現(xiàn)在在銀行做貸款，屬于一線營(yíng)銷(xiāo)崗位，薪水自然還不錯(cuò)。但如果你不是做營(yíng)銷(xiāo)而是后臺(tái)部門(mén)比如 IT，那你只能拿到基本工資和平均獎(jiǎng)金，這個(gè)數(shù)字看起來(lái)就沒(méi)那么有吸引力了。除非你能當(dāng)老總?？蛇@個(gè)部門(mén)不像營(yíng)業(yè)網(wǎng)點(diǎn)，一個(gè)地區(qū)可以幾十個(gè)網(wǎng)點(diǎn)，這個(gè) IT 部門(mén)基本上一個(gè)地區(qū)就一個(gè)，也就是說(shuō)一個(gè)地區(qū)就一個(gè)老 總，這個(gè)老總又不像別的崗位可以橫向調(diào)動(dòng)，在銀行里做 IT 你就只能做 IT，不可能調(diào)你去做什么公司業(yè)務(wù)，所以我個(gè)人認(rèn)為升遷的機(jī)會(huì)也比較小。但如果你是去總行的信息技術(shù)部搞些個(gè)產(chǎn)品研發(fā)之類(lèi)也就不說(shuō)了，那肯定是非常好的，但這樣的部門(mén)基本也不可能要一個(gè)剛畢業(yè)的學(xué)生。 銀行的各項(xiàng)任