最近更新的频道

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

筛选结果

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