ocaml

Incremental 是 Jane Street 推出的一个库，用于构建高效、自适应的计算，能够响应输入变化，适用于电子表格、GUI视图以及派生数据同步。

Soteria Rust是一个用于验证Rust程序的符号执行工具，它使用OCaml的垃圾回收器来管理其Tree Borrows别名模型的内存，实现了10倍的加速，并将时间复杂度从二次降低到线性。

OCaml 的创始人 Xavier Leroy 在一次播客采访中讨论了 OCaml 相对于 Rust 和 JavaScript 的特性、形式化验证、类型推断以及 LLM 对编程的影响。

这篇1998年的文章认为，ML和OCaml非常适合编写编译器，因为它们具有垃圾收集、尾递归优化以及带有模式匹配的代数数据类型等特性，这些特性简化了复杂编译器数据结构的处理。

这篇文章探讨了编程语言语法设计的重要性，认为语法应准确反映语言的计算模型和心智模型，而非为了熟悉感或简洁性随意拼凑。作者通过分析OCaml、Lisp/Clojure和JavaScript的语法设计，并介绍自己设计的语言Saul，强调了统一性和语义一致性。

OxCaml 是 Jane Street 的 OCaml 超集，引入了一个 `[@zero_alloc]` 注解，强制编译器在调用树中任何函数在堆上分配内存时拒绝构建，将内存分配检测从运行时分析转变为编译时强制执行。

关于类型推断的教程，涵盖Damas-Hindley-Milner类型系统、合一及相关概念，并附有OCaml代码示例。

OCaml 5.5.0 已发布。

KC Sivaramakrishnan宣布了一本面向NPTEL的交互式OCaml课程书籍，该书籍可直接在浏览器中运行代码，无需安装和维护服务器。

该项目详细介绍了将OCaml运行时从C语言逐行翻译为Rust的过程，旨在提高安全性和性能。

一份实用指南，介绍适用于 OCaml 的 Dune 构建系统，涵盖项目设置、库和可执行文件的构建以及测试。

Jane Street 的工程师介绍了 strace-ui，这是一个用于 strace 的交互式终端 UI，通过过滤、PID 追踪和手册页集成简化了系统调用调试，并强调了由其 Bonsai 框架推动的 TUI 复兴。

Jane Street 宣布推出 Incremental，这是一个用于构建自调整计算的库，能在输入变化时高效更新，适用于在线算法、图形界面构建和可配置计算。

OxCaml 是 Jane Street 对 OCaml 编译器的分支，它引入了编译时对数据竞态的保证，从而在不增加运行时开销的情况下实现顺序一致性。这篇博文解释了新的模式轴及其对并行编程的影响。

David Crawshaw认为，尽管行业投资于Rust的无GC特性，但Jane Street的OxCaml（OCaml变体）表明，GC对大多数代码路径是有益的，只有1%的代码需要性能优化。

一个纯OCaml实现的CCSDS协议栈，代号Borealis，在低地球轨道上的DPhi Space ClusterGate-2载荷模块上成功启动，展示了在太空中安全且高性能的OCaml。