数据流细化类型推断工具（DRIFT） DRIFT实现了基于抽象解释的静态分析，以推断功能程序中的细化类型。 该分析概括了Liquid类型推断，并且与用于表示类型细化的抽象域是参数化的。 DRIFT以OCaml的子集为目标。 当前，它支持高阶递归函数，对原始类型（例如整数和布尔值），数组和列表的操作。 该工具会自动检查所有数组访问是否在范围内。 此外，它支持验证用户提供的断言。 安装要求 版本> = 4.06 版本> = 2.0.4 请使用opam install安装以下opam