Richard Eisenberg 谈 Jane Street 的 OCaml 探索

我是 Richard Eisenberg，Jane Street 的软件工程师，负责 OCaml 编译器。我们的编译器团队正在制作一系列视频，介绍正在做的一些工作。在 Jane Street，我们几乎所有工作都使用 OCaml 编程语言。

OCaml 是一门强类型函数式编程语言。强类型让我们对程序的正确性有很高的信心。它的函数式风格提供了另一种编程方式，非常适合我们；我认为它也更接近许多人的思维方式。

OCaml 的另一个优点是性能可预测。编写程序时，我们大致知道它会运行得多快，也知道它会持续保持这样的速度。尽管这门语言已经满足我们的需求，仍有一些地方可以做得更好。

内存管理就是一个例子。一个浮点数可能需要我们在堆上分配信息，之后再进行垃圾回收。我们希望将 OCaml 带来的能力和推理能力，与 C、C++ 或 Rust 的一些性能和内存管理特性结合起来。

我们的编译器团队正从三个主要方面进行改进。第一个是非装箱类型：它可以让我们将浮点数直接放在栈上，无需管理单独的堆分配。同样的思路也可以应用于许多其他类型。

我们还在引入一个模式系统，其中一些模式控制局部性，允许更多栈分配。即使有非装箱类型，我们可能仍需要分配内存。如果我们知道何时应释放它，而且它的生命周期符合适当的栈结构，就可以自动释放，无需有时会拖慢速度的垃圾回收。

第三个领域是无数据竞争的并行。如果一个线程与另一个线程编辑同一份数据，而它们的操作发生冲突，同时运行多个线程就可能很危险。我们希望通过语言功能检测并防止这些数据竞争，让我们可以放心编写快速的并行代码。

OCaml Unboxed 系列将解释这些创新，以及我们在 Jane Street 进行的其他工作。希望大家喜欢。