Showing posts fromdialyzer

Erlang的万圣节👻( Dialyzer 无法找到的dead code)

像我这样谈论 Dialyzer 这样出色的工具的缺点或局限性不太寻常。 尽管如此,今天我还是发现了一些非常死板的代码块,它们通过了Dialyzer的类型分析。 所以,既然万圣节快到了,让我们从它的坟墓里拿出一些死代码吧! ## Dialyzer 产生警告的时候 在以前我见过这样的代码…… <Code language="erlang"> {`warn

Read More