Ocaml 强制是否真的没有运行时成本？
我一直认为OCaml中的强制（Ocaml 强制是否真的没有运行时成本？,ocaml,Ocaml,我一直认为OCaml中的强制（：>操作符）只需要满足类型检查器的要求，而不会导致生成任何代码。这是真的吗？我假设你说的是（expr:type:>supertype） 是的，此操作在编译时在类型检查器中进行。在运行时没有任何事情发生，需要0个时间。这是因为（在OCaml中），强制只有在类型安全时才被允许。所以在运行时没有什么需要检查的。我假设您所说的是（expr:type:>supertype） 是的，此操作在编译时在类型检查器中进行。在运行时没有任何事情发生，需要0个时间。这是因为（在OCaml
：>（expr:type:>supertype）是的，此操作在编译时在类型检查器中进行。在运行时没有任何事情发生，需要0个时间。这是因为（在OCaml中），强制只有在类型安全时才被允许。所以在运行时没有什么需要检查的。我假设您所说的是
（expr:type:>supertype）是的，此操作在编译时在类型检查器中进行。在运行时没有任何事情发生，需要0个时间。这是因为（在OCaml中），强制只有在类型安全时才被允许。所以在运行时没有什么需要检查的。标题可以更清楚地匹配这个问题-我不确定
O（0）O（1）：>O（0）O（1）：>