筛选结果
6 篇排序
55:03EN → 简体中文Neil Mitchell：Pyrefly 如何大规模检查 Python 代码Neil Mitchell, Roman · Meta从 Python 类型系统到快速开源类型检查器和语言服务器背后的增量架构。
59:38EN → 简体中文Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。
1:01:11EN → 简体中文Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Ron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究，一位系统研究者解释不断变化的抽象如何重塑基础设施。
1:00:04EN → 简体中文Ty Overby 谈 Bonsai 与函数式用户界面构建Yaron Minsky, Ty Overby · Jane StreetJane Street 为什么构建可组合的 OCaml 用户界面框架，以及它的设计如何启发我们理解增量计算、浏览器与可视化编程。
1:14:23EN → 简体中文Cristina Rosu：用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算，并现场演示计数器应用。
1:06:39EN → 简体中文Jane Street 为什么使用 OCamlJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件，也探讨了选择较冷门语言的代价。