No one wants to ship bugs in a production system, especially embarrassing ones! Dialyzer is a post-compilation type-checker that has found more bugs in my code than I can count, saving me a lot of time and frustration. This talk will discuss briefly what Dialyzer is, how to use it in Elixir projects, and go in-depth on three bugs it helped me find in the Elixir compiler and standard library.

OBJECTIVES

Encourage developers to use Dialyzer in their Elixir projects and improve the ecosystem.

TARGET AUDIENCE

Developers who want to improve the correctness and robustness of their Elixir code.