foo.cmi

OCaml 编译器通过效果（effects）改造以支持动态构建系统

一位名叫 Lucas Ma 的开发者一直在探索将效果（effects）集成到 OCaml 编译器中，以增强其构建系统功能。这项研究旨在使 OCaml 编译器能够作为库运行，从而提供按需编译服务。通过利用效果（effects），编译器可以更动态地管理依赖项和文件查找，从而可能消除对预编译模块和 ocamldep 等工具的需求。这种方法涉及管理编译器内的全局可变状态，以确保可重入性并允许中断编译过程。