我认为 Dialyzer 是一个检查成功输入的工具。但是，它的公共 API 有一个 succ_typings false 选项。Rebar3 的 Dialyzer 提供程序通过--succ-typings false命令行选项公开了这一点。
使用和不使用此选项运行 Dialyzer 有什么区别？
文档对这个问题保持沉默。
问问题
60 次
1 回答
3
看起来以前的分析类型被称为dataflow（Nyström，2003），后来成功类型（succ_typings）被引入。
自Erlang/OTP R12B-2起，数据流软类型已停止使用，请参阅：
- Dialyzer 的分析从现在开始完全基于成功类型。特别是，对选项的支持
--old_style已经--dataflow停止。
于 2020-12-07T19:59:35.543 回答