Kostis Sagonas on Erlang, Types, Static Analysis and Refactoring
Kostis Sagons talks about how type checking can help with a dynamic language like Erlang and how static analysis tools like Dialyzer or automated refactoring tools like Tidier help keep code clean.

