華爾街企業使用什么編程語言？答案可能出乎意料
譯文【51CTO獨家譯文】華爾街一家公司發現計算領域的成功并不一定必須依靠傳統企業Java來實現，他們利用Caml這款名不見經傳的編程語言在代碼簡潔性與可讀性之間找到了完美的平衡點。
貿易企業Jane Street表示，Caml為其帶來一系列強大的工具，足以創建出速度出色且不存在運行錯誤的大型程序。
“在常規工作當中，很大一部分屬于案例分析任務。讓自己的程序正確運作實在不是件容易的事情，而且能從系統中獲得的任何一款足以解決錯誤的工具都彌足珍貴，”Jane Street公司技術部門負責人Yaron Minsky在本周五于紐約舉辦的QCon開發者大會上指出。
是一家專門處理貿易相關事務的企業，也是目前世界上規模最大的Caml與OCaml（Caml的面向對象版本）用戶。
Jane Street公司的全部交易與輔助類系統都在使用Caml，當然底層系統接口仍在使用部分C代碼、分析電子表格則由Visual Basic腳本支持。總而言之，Caml代碼在每個工作日會為Jane Street處理總值約200億美元的交易活動。
該公司目前擁有約六十位程序員，他們要么在求學階段已經對Caml有所了解、要么依靠出色的學習能力在培訓中快速掌握了這門編程語言。除了這些專業技術人員，公司里還有約九十名非程序員會在日常工作中跟Caml打交道。
Jane Street使用Caml幾乎可以說是一種偶然，Minsky指出。Caml是一種機器學習函數編程語言，這類語言被廣泛應用在各大高校的編程專業教學當中，但在學術界以外始終未能獲得普遍認可及實際成功。
Minsky十年前尚未從學校畢業時就已經開始了自己在Jane Street的工作。由于對Caml語言非常熟悉，他為公司創建出一大批實驗方案，其中很多后來還被整合進生產環境。如此優異的表現讓他在拿到分布式系統博士學位的同時也順利獲得Jane Street公司的聘書。
當時，Jane Street公司“對貿易層面的重視程度遠高于技術層面，”Minsky回憶道。電子表格中充斥著大量VB代碼，但這種處理方式顯然無法跟上該公司的規模拓展節奏。更重要的是，當時還沒有一套專門的系統能夠承擔變更管理工作，因此所有用戶計算機上的代碼也就無法得到更新。
隨著Jane Street公司的貿易業務逐步邁入計算機時代，Minsky部署的Caml方案開始成為公司的核心系統。
Jane Street同樣也關注過大多數貿易企業所使用的Java語言，但企業級Java程序在構建過程中需要涉及大量動態面向對象方法，這讓該公司感到其內容難以理解并據此作出思考，Minsky表示。
Minsky指出，該公司的某位分析師非常喜歡查看運行在該系統中的代碼——盡管他根本不是程序員。他只需坐下來認真閱讀這些代碼內容，就能了解到其執行目的與背后的含義。Caml代碼的確非常易于理解，只要在相關語法方面做做功課、任何人都能掌握其中的內容。
Caml還具備一系列天然優勢。它是一款函數編程語言，因此能夠很好地支持程序中的函數計算。
“大家可以創建一個函數，將其傳遞給另一個函數，然后再讓該函數返回一組函數，”Minsky表示。在Caml語言中，函數屬于“類值，能夠像其它項目一樣進行任意傳遞。”相比之下，大部分其它編程語言都不允許開發者將函數像值那樣或者以手動方式對其加以傳遞。
此外，數據值在函數編程語言當中是不可變的。這意味著程序的運作并非源自“數據結構中的單元變化實現，而是依靠表達式求值來完成，”Minsky解釋道。
Caml是一套靜態類型系統，這意味著其中具備一系列規則、用于指導系統處理每一種數據類型。一般來說，在靜態類型語言中進行漏洞定位在難度上要遠低于JavaScript或者Python等動態類型系統。這種特性大大加快了計算任務的速度，因為程序清楚接下來需要處理哪種類型的數據。
“關于這種編程風格，我已經積累下豐富而且深刻的開發經驗。在這里，大家可以利用類型系統幫助自己掌握變化所帶來的影響，”Minksy指出。“誠然，每一種語言都可能編寫出糟糕的代碼，但只要大家知道自己在做什么，就完全能夠利用這種類型系統作為設計方案中的一部分、進而極大改善程序開發成果的正確性。”
雖然很少有人會把Caml開發經驗寫進自己的應聘簡歷，但尋找在這方面頗具心得的程序員其實并不困難，Minsky表示。那些了解Caml或者說對函數編程較為熟悉的開發人員對于這種編程模式往往充滿熱情。
Minsky在第一次幫助公司招聘程序員時，就是直接通過Caml郵件列表發出通知并最終從回復者中選定了三名新員工。
當然，該公司也招聘過不少對Caml一竅不通的程序員。理由很簡單，只要這些應聘者有能力通過培訓掌握這門語言，是否已有經驗并不是大問題——事實了證明這樣的判斷完全正確。
隨著時間的推移，該公司已經利用Caml構建起眾多開發成果。除了其核心貿易系統之外，還包括一套并發庫、一套復雜的訂閱及發布系統以及一系列系統自動化工具。
總體而言，Jane Street公司擁有“大量依靠小型團隊就能維護的系統方案，”Minsky解釋道。
使用這種知名度不高的語言當然也存在一些弊端，Minsky強調稱。其中最嚴重的一點在于缺乏適當的現成工具。最讓Minsky苦惱的就是沒有先進編輯工具——例如autocomplete——以及廣受用戶歡迎的主流IDE（即集成開發環境）可供選擇。
為了解決這些問題，該公司已經開發出諸多自有工具并選擇了開源機制。Jane Street公司還積極為一家名為OCamlPro的公司以及劍橋大學Caml實驗室提供資助，鼓勵他們打造商用Caml支持方案。
“我們盡自己所能，努力推動該語言的健康發展。我們自己編寫出的300萬行代碼已經成為公司運營的重要基礎，而以Caml語言為核心建立起來的技術社區也成為我們的重要技術依托，”Minsky指出。“如果大家依靠小眾技術起家并獲得了成功，就必須準備好為其后續發展買單。”
