我认为Dialyzer是一个检查成功打字的工具。然而，它的公共API有一个succ_typeings false选项。Rebar3的Dialyzer提供程序通过--succ-typings false命令行选项公开了这一点。
使用和不使用此选项运行Dialyzer有什么区别？
医生们对这个问题保持沉默。
看起来以前的分析类型被称为dataflow(Nyström，2003(，后来引入了成功类型(succ_typings(。
自Erlang/OTP R12B-2起，数据流软键入停止，请参阅：
- Dialyzer的分析从现在起完全基于成功打字。特别是对选项
--old_style和--dataflow的支持已停产