scala - OCaml、Scala 和 Go 的结构类型实现

Question

在研究结构类型时，我发现以下帖子描述了 Go 中的接口如何在运行时转换为方法查找表。这篇文章中描述的过程似乎与为 Scala 的可选结构类型系统和 Java 语言的 White Oak 扩展描述的反射和生成技术大不相同。

是否有任何深入的资源讨论如何在 OCaml 中实现结构类型？我对与标称类型系统进行优化或运行时性能比较的任何讨论特别感兴趣。

Answer 1

您可以在Jake Donham的这篇博文中找到关于 OCaml 对象内部的相当详细的描述。它的要点是对象支持主要是作为一个内部库实现的，编译器本身只有一点逻辑（当然还有类型系统中的对象类型逻辑），主要是围绕有效的消息分发。

我不是这部分语言的专家，但经过粗略检查后，看起来 OCaml 依赖于排序方法类型中的方法查找（解析为方法表中的槽），并缓存最后调用的方法，和静态已知调用的优化，特别是方法实现中的自调用。最后，一些常用的函数（例如实例变量 getter 和 setter）被识别和编码（内部 OO 库中的impl类型），以提高性能，并且可能更重要的是减少代码大小。