Thomas Davies
Programming Languages Enthusiast
Tom is a software engineer with experience in the F# and Elm compilers and has recently started working on improving Erlang tooling, with a particular interest in static analysis and fast feedback.
Past Activities
Thomas Davies
Code BEAM Europe 2022
Code BEAM Europe 2022
19 May 2022
17.15 - 17.40
17.15 - 17.40
Incremental Dialyzer - How we made Dialyzer 3x Faster
Dialyzer is really powerful, but sometimes it can be hard to get the most out of it because the analyses can be quite slow. This talk introduces an incremental mode for Dialyzer that can significantly improve its performance by avoiding redundant work.
OBJECTIVES
Introduce a new "incremental" mode for Dialyzer, and explain how it differs from the classic model of building a PLT and checking it.
AUDIENCE
Erlang & Elixir users of Dialyzer