This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed values with lower overhead and maintenance burden than existing approaches. We then demonstrate the tools we have built around this for visualizing and exploring executions.

翻译：本文将介绍一种用于追踪OCaml程序的应用级追踪框架。我们概述了解决主要技术难题的解决方案，即能够记录类型值，而比现有方法拥有更低的开销和维护负担。然后，我们展示了围绕此建立的用于可视化和探索执行的工具。