实体
Tarides
Tarides
PulseAugur coverage of Tarides — every cluster mentioning Tarides across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
OCaml opam 仓库详解包管理基础设施
opam 仓库是 OCaml 的中央包注册中心，管理着超过 4,500 个软件包，每月处理约 200 次提交。它作为一个精选的 Git 仓库运行，将软件包元数据存储在 opam 文件中，这些文件链接到外部源代码仓库。一个强大的持续集成系统（由 OCurrent 提供支持）会验证元数据，跨多个 OCaml 版本和平台测试编译，并检查反向依赖问题，以确保软件包质量。
-
OxCaml 添加编译时数据竞争检查并缩小 JS 包
OxCaml 是 Jane Street 开发的一个 OCaml 分支，引入了新的编译时检查来防止并行程序中的数据竞争。这些检查基于“争用”和“可移植性”模式，允许开发人员以顺序一致性来推理并发代码，这比标准 OCaml 有了显著改进，在标准 OCaml 中，数据竞争是逻辑错误而非灾难性错误。此外，还努力大幅减小 OxCaml 浏览器内顶层的 JavaScript 包大小，将其从 285 MB 缩小到 4 MB，以便在教育环境和研讨会…