筛选结果
5 篇排序
1:08:43EN → 简体中文Ron Minsky:类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构,但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML:为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验,帮助大型 OCaml 代码库保持易理解和正确。
1:04:56EN → 简体中文Yaron Minsky:Incremental 如何从研究概念走向生产库Yaron Minsky · Jane Street回顾 Jane Street 的 OCaml 自调整计算库背后的算法、内存问题和性能权衡。
1:12:41EN → 简体中文Ron Minsky:交易、正确性与 Jane Street 转向 OCamlYaron Minsky · Jane StreetJane Street 的技术人员介绍做市业务,以及可读性、类型和可预测的性能如何影响公司选择 OCaml。
51:35EN → 简体中文Yaron Minsky 谈高效 ML:接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分,Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。








