Learn how to get some of the benefits of static typing with Erlang's static analysis tool, dialyzer.