最近更新的频道

点选即可只看该频道浏览全部频道 →

筛选结果

7 篇
排序
7 张幻灯片15:59EN → 简体中文
JSJane Street· 2024年5月7日OCaml 中的尾调用与局部区域一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸,以及 regional 模式与 [@nontail] 如何影响结果。Programming LanguagesSoftware engineeringDeveloper productivity
5 张幻灯片23:25EN → 简体中文
JSJane Street· 2024年2月20日Richard Eisenberg:OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明,创建值和使用值的函数都需要保持局部性。Programming LanguagesSoftware engineering
3 张幻灯片22:27EN → 简体中文
JSJane Street· 2024年2月7日OCaml 如何推断局部性了解 local 与 global 模式推断、模块签名、整数的模式跨越,以及函数类型之间的转换。Programming LanguagesSoftware engineering
5 张幻灯片15:17EN → 简体中文
JSJane Street· 2024年1月31日OCaml 的局部值、模式与子模式关系通过实例理解局部和全局模式如何控制值的逃逸,以及模式如何与函数类型相互作用。Programming LanguagesSoftware engineering
7 张幻灯片25:44EN → 简体中文
JSJane Street· 2017年3月9日函数式编程为何对 Jane Street 重要一位 Jane Street 开发者重新审视 John Hughes 的经典论点,并解释为什么表达能力强的静态类型对交易系统最重要。Programming LanguagesSoftware engineeringCoding Culture
8 张幻灯片28:31EN → 简体中文
JSJane Street· 2017年3月9日Incremental:OCaml 中的自调整计算Sebastian Funk · Jane StreetSebastian 介绍 Jane Street 的动态依赖图库,以及高效更新背后的算法。Programming LanguagesSoftware engineeringDeveloper productivity
23:58EN → 简体中文
JSJane Street· 2016年3月31日有效使用 ML:错误、抽象与复杂度管理一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制,以及副作用的实际作用。Programming LanguagesSoftware engineeringCode review & verification