Explore a comprehensive conference talk on tackling Dialyzer errors in large Erlang projects. Learn how Klarna successfully reduced 12,000 Dialyzer errors to zero in a 1.7 million lines of code project. Discover key principles for managing and eliminating Dialyzer errors, including automation, understanding common problems, and effective execution strategies. Gain insights into overcoming challenges in legacy systems and maintaining type safety in extensive codebases. Ideal for Erlang/Elixir developers working on large-scale projects or those interested in improving code quality through static analysis.
Slaying the Type Hydra - How We Went from 12,000 Dialyzer Errors to None
Overview
Syllabus
00:00 - - Intro and KRED
02:38 - - Why Dialyzer?
04:02 - - Main Message
04:55 - - About Me
05:30 - - Principle 1: Automation
06:46 - - Slaying the Type Hydra...
11:27 - - Override Switch
12:53 - - Principle 2: Understanding + KRED
15:59 - - Common Problems
29:43 - - General Advice + Recap
31:33 - - Principle 3: Execution
37:04 - - QnA
Taught by
Code Sync
