编程语言：变革创业思维的工具

在此之前，几乎没有人在实际应用中使用过OCaml。这一语言的设计者是法国一家研究机构，而最初目的是为了优化能自动证明数学定理的计算机系统。明斯基在自己的研究生阶段接触到了这一语言。他认为，这一语言可以取代Jane Street Capital交易系统中使用的Excel电子表格。

OCaml的最大特点在于“输入检查系统”。这类似于微软Word的语法检查功能，能在系统认为错误的代码下方使用绿色波浪线做出标记，随后禁止这样的代码运行。利用这一系统开发出的程序有着极强的可靠性，而当所开发的软件每天需要处理300亿美元的交易时，这一点很重要。

明斯基表示，通过捕捉漏洞，OCaml的输入检查系统使Jane Street Capital的程序员可以专注于更高大上的问题。而如果该公司能将OCaml的检查功能进一步内化，那么将培养出一种习惯，使程序员不可能再去思考错误的想法。

此外，为了让输入检查工具发挥功能，程序员需要在代码中添加复杂的注释。这就好比说，Word的语法检查工具要求你对所有句子进行标注。在输入受限制的情况下编写代码有些麻烦，甚至会令人丧气。而更糟糕的是，与其他编程语言相比，OCaml会涉及非常抽象的数学，从而给大部分程序员带来困难。

不过，这一语言的精确性对某些人来说极具吸引力，同时也给Jane Street Capital带来了不同寻常的招聘优势。尽管一些软件开发者不理会PHP的缺陷而加入Facebook和维基百科，但明斯基表示，OCaml语言以及他的著作《现实世界的OCaml》有助于吸引优秀的编程人才。吸引力并不仅仅在于语言，也在于使用这一语言的人群。在Jane Street Capital，员工在休息时间会去下象棋。这种智力竞争的文化似乎与对OCaml语言的使用密切相关。

谷歌似乎也试图凭借自主设计的高性能语言Go来实现同样的目的。为了让网络服务变得更优雅、更高效，针对大型网络服务背后的服务器开发更先进的软件颇有益处。此外，对于喜欢新鲜事物、喜欢挑战困难的程序员来说，这也是一种吸引力。