筛选结果
8 篇排序
9:25EN → 简体中文Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
8:06EN → 简体中文OCaml 提议中的 include functor 语法如何减少重复一个反向数组示例展示如何从最小实现派生常用模块函数，同时省去额外的包装模块。
11:28EN → 简体中文OCaml 局部类型：regional 参数与循环区域一段演示解释为什么某些局部参数能够跨越函数边界，以及循环区域如何回收分配的内存。
9:14EN → 简体中文OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
3:30EN → 简体中文Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
11:07EN → 简体中文OCaml 的 local 值如何使用独立的栈一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。
12:52EN → 简体中文OCaml 的局部变量、返回值与区域通过一个实例，了解 `local_` 和 `exclave_` 如何让函数接收局部值，并在调用方区域中返回局部结构。
8:52EN → 简体中文OCaml 局部参数入门通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸，并让函数接口更易于推理。