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

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

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

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

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

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

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

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