編程語言：變革創(chuàng)業(yè)思維的工具

在此之前，幾乎沒有人在實際應(yīng)用中使用過OCaml。這一語言的設(shè)計者是法國一家研究機(jī)構(gòu)，而最初目的是為了優(yōu)化能自動證明數(shù)學(xué)定理的計算機(jī)系統(tǒng)。明斯基在自己的研究生階段接觸到了這一語言。他認(rèn)為，這一語言可以取代Jane Street Capital交易系統(tǒng)中使用的Excel電子表格。

OCaml的最大特點在于“輸入檢查系統(tǒng)”。這類似于微軟Word的語法檢查功能，能在系統(tǒng)認(rèn)為錯誤的代碼下方使用綠色波浪線做出標(biāo)記，隨后禁止這樣的代碼運(yùn)行。利用這一系統(tǒng)開發(fā)出的程序有著極強(qiáng)的可靠性，而當(dāng)所開發(fā)的軟件每天需要處理300億美元的交易時，這一點很重要。

明斯基表示，通過捕捉漏洞，OCaml的輸入檢查系統(tǒng)使Jane Street Capital的程序員可以專注于更高大上的問題。而如果該公司能將OCaml的檢查功能進(jìn)一步內(nèi)化，那么將培養(yǎng)出一種習(xí)慣，使程序員不可能再去思考錯誤的想法。

此外，為了讓輸入檢查工具發(fā)揮功能，程序員需要在代碼中添加復(fù)雜的注釋。這就好比說，Word的語法檢查工具要求你對所有句子進(jìn)行標(biāo)注。在輸入受限制的情況下編寫代碼有些麻煩，甚至?xí)�令人喪氣。而更糟糕的是，與其他編程語言相比，OCaml會涉及非常抽象的數(shù)學(xué)，從而給大部分程序員帶來困難。

不過，這一語言的精確性對某些人來說極具吸引力，同時也給Jane Street Capital帶來了不同尋常的招聘優(yōu)勢。盡管一些軟件開發(fā)者不理會PHP的缺陷而加入Facebook和維基百科，但明斯基表示，OCaml語言以及他的著作《現(xiàn)實世界的OCaml》有助于吸引優(yōu)秀的編程人才。吸引力并不僅僅在于語言，也在于使用這一語言的人群。在Jane Street Capital，員工在休息時間會去下象棋。這種智力競爭的文化似乎與對OCaml語言的使用密切相關(guān)。

谷歌似乎也試圖憑借自主設(shè)計的高性能語言Go來實現(xiàn)同樣的目的。為了讓網(wǎng)絡(luò)服務(wù)變得更優(yōu)雅、更高效，針對大型網(wǎng)絡(luò)服務(wù)背后的服務(wù)器開發(fā)更先進(jìn)的軟件頗有益處。此外，對于喜歡新鮮事物、喜歡挑戰(zhàn)困難的程序員來說，這也是一種吸引力。

• 河南圖奕網(wǎng)絡(luò)科技有限公司成為博客園的贊助商
• 《幻獸帕魯》櫻花島新增科技介紹
• 《世界啟元》科技樹系統(tǒng)與時代系統(tǒng)玩法介紹
• 《世界啟元》科技樹系統(tǒng)與時代系統(tǒng)教學(xué)
• 游創(chuàng)無界，亞馬遜云科技如何賦能中國游戲企業(yè)出海？