Hacker News new | ask | show | jobs
by mononcqc 4239 days ago
Erlang has Dialyzer, which is an optional type checker and discrepancy analyzer.