3 ms·Erlang has Dialyzer, which is an optional type checker and discrepancy analyzer.by mononcqc 12y agoErlang has Dialyzer, which is an optional type checker and discrepancy analyzer.