Learn Generative AI, Prompt Engineering, and LLMs for Free
Learn Excel and Financial Modeling the Way Finance Teams Actually Use Them
Overview
Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
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.
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