筛选结果
13 篇排序
9:25EN → 简体中文
Jane Street· 2024年10月1日Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
8:06EN → 简体中文Jane Street· 2024年8月7日OCaml 提议中的 include functor 语法如何减少重复Richard Eisenberg · Jane Street一个反向数组示例展示如何从最小实现派生常用模块函数，同时省去额外的包装模块。
14:36EN → 简体中文Jane Street· 2024年6月24日使用 OCaml 的 local 模式编程Richard Eisenberg · Jane Street通过一个例子了解局部列表如何包含全局值、为何仅靠不逃逸标注不能保证栈分配，以及这项实验性功能有哪些不便之处。
11:28EN → 简体中文Jane Street· 2024年6月13日OCaml 局部类型：regional 参数与循环区域Richard Eisenberg · Jane Street一段演示解释为什么某些局部参数能够跨越函数边界，以及循环区域如何回收分配的内存。
9:14EN → 简体中文Jane Street· 2024年5月29日OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
15:59EN → 简体中文Jane Street· 2024年5月7日OCaml 中的尾调用与局部区域Richard Eisenberg · Jane Street一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸，以及 regional 模式与 [@nontail] 如何影响结果。
3:30EN → 简体中文Jane Street· 2024年3月13日Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
11:07EN → 简体中文Jane Street· 2024年2月29日OCaml 的 local 值如何使用独立的栈Richard Eisenberg · Jane Street一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。
23:25EN → 简体中文Jane Street· 2024年2月20日Richard Eisenberg：OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明，创建值和使用值的函数都需要保持局部性。
22:27EN → 简体中文Jane Street· 2024年2月7日OCaml 如何推断局部性Richard Eisenberg · Jane Street了解 local 与 global 模式推断、模块签名、整数的模式跨越，以及函数类型之间的转换。
15:17EN → 简体中文Jane Street· 2024年1月31日OCaml 的局部值、模式与子模式关系Richard Eisenberg · Jane Street通过实例理解局部和全局模式如何控制值的逃逸，以及模式如何与函数类型相互作用。
12:52EN → 简体中文Jane Street· 2024年1月23日OCaml 的局部变量、返回值与区域Richard Eisenberg · Jane Street通过一个实例，了解 `local_` 和 `exclave_` 如何让函数接收局部值，并在调用方区域中返回局部结构。
8:52EN → 简体中文Jane Street· 2024年1月5日OCaml 局部参数入门Richard Eisenberg · Jane Street通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸，并让函数接口更易于推理。