The feature in OxCaml that more languages should steal

这篇文章把 OxCaml 的一个语言特性拿出来讨论，重点在让更多运行时约束进入编译期表达。OxCaml 近年的核心方向是 mode system：把 locality、ownership、逃逸等属性交给类型检查和编译器推理，而不是靠工程师在热路径里记规则。它的启发在于，性能和内存纪律可以成为语言表面的显式设计，而不是 profiler 之后的补丁。