OCaml多态变体是否支持内联记录特性？

很遗憾，目前OCaml（截至5.x版本）并不支持在多态变体中使用内联记录语法——这也是你尝试编写type b = A of {u:int; mutable v:int}时触发语法错误的原因。内联记录特性仅对普通的命名变体（比如你示例中的type a = B of {x:int; mutable y:int}`）提供支持，暂时没有扩展到多态变体的设计。

关于辅助记录替代方案的性能顾虑 #

你提到担心手动定义辅助记录会带来额外内存开销和性能下降，其实这个顾虑是不必要的：

• 内联记录的本质是编译器在背后自动生成了一个匿名的辅助记录类型，变体构造器实际上是持有这个匿名记录的引用。
• 你手动显式定义的辅助记录，和编译器自动生成的匿名记录在内存结构、访问性能上完全一致，不会有额外的开销。

举个你的场景的等价写法，完全不用担心性能问题：

type b_aux = { u : int; mutable v : int }
type b = `A of b_aux

后续可能性 #

如果这个特性对你的场景非常重要，可以关注OCaml的官方开发讨论（比如OCaml GitHub仓库的issues或RFC提案），不过截至目前，官方还没有明确的计划将内联记录扩展到多态变体上。

内容的提问来源于stack exchange，提问作者repeat