筛选结果
5 篇排序
9:25EN → 简体中文Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
9:14EN → 简体中文OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
3:30EN → 简体中文Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
23:25EN → 简体中文Richard Eisenberg：OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明，创建值和使用值的函数都需要保持局部性。
59:38EN → 简体中文Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。