GOTO Aarhus 2022

Wednesday Jun 15
16:30 –
Anker 1

Designing a Static Analysis Tool for Elm


Elm is a delightful language with no runtime exceptions and fearless refactoring. As great as its compiler is at providing detailed messages when there are compilation issues, it doesn't provide much help when the project finally compiles to discover what can be further improved. That is a task generally given to static analysis tools aka linters. In this presentation, we'll go over the reasons why a static analysis tool is still relevant for Elm and how that led to the creation of elm-review. We'll see how elm-review can achieve surprising results and go for ambitious design choices as it targets a language where "when it compiles, it works".