Yes I know. But parent was asking about detection, not correction (which the OP is about). On that topic though, it is notable that Erlang's Dialyzer, unlike

Yes I know. But parent was asking about detection, not correction (which the OP is about). On that topic though, it is notable that Erlang's Dialyzer, unlike most static analysis tools and type systems, guarantees no false positives; it only reports errors via code paths it can prove are taken. This makes it very easy to integrate into existing development workflows.